Frank Lattemann

According to our database¹, Frank Lattemann authored at least 2 papers between 1997 and 1999.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1999

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

[BibT_eX]

[DOI]

PhD thesis, 1999

1997

A Methodological Approach to the Requirement Specification of Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997