Frank Lattemann

A methodological approach to the requirement specification of embedded systems

Frank Lattemann, Egbert Lehmann, 1997, First IEEE International Conference on Formal Engineering Methods.

The Predictive Cruise Control – A System to Reduce Fuel Consumption of Heavy Duty Trucks

Thomas Connolly, Stephan Terwen, Frank Lattemann, 2004 .

Systematische Spezifikation von Echtzeiteigenschaften: die Punkt-Intervall Logik und ihre Anwendung

Frank Lattemann, 1999 .