Abstract A comprehensive overview of the basic principles of radar polarimetry is presented. The relevant fundamental field equations are first provided. The importance of the propagation and scattering behavior in various frequency bands, the electrodynamic foundations such as Maxwell’s equations, the Helmholtz vector wave equation and especially the fundamental laws of polarization will first...

In software engineering several formalism are in some form or another compositions of state machines. For example, Statecharts are simply state machines. There is value in simply writing these formal specifications down because it forces the designer to think carefully. However, in highly distributed designs subtle errors (such as deadlocks or race conditions) are very hard to catch simply by i...