Books by Constance Heitmeyer

3 books found

An approach to describing the functional requirements of an embedded communication system

An approach to describing the functional requirements of an embedded communication system

19821 ed.
Formal methods for real-time computing

Formal methods for real-time computing

19961 ed.
FM 2016 : Formal Methods

FM 2016 : Formal Methods

20161 ed.