Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (Sats)Concept

Bok av Victor A Carreno