Filters
Advanced Search Browse by Genre

Found 4 results for "Constance Heitmeyer"

Formal methods for real-time computing
Formal methods for real-time computing

by Constance Heitmeyer, Dino Mandrioli

1996 1 ed.
Real-time data processing Formal methods (Computer ...
FM 2016 : Formal Methods
FM 2016 : Formal Methods

by John Fitzgerald, Constance Heitmeyer

2016 1 ed.
Computer software, develo... System design
An approach to describing the functional requirements of an embedded communication system
An approach to describing the functional requirements of an ...

by Constance L Heitmeyer

1982 1 ed.
Communications, Military Computer engineering Military Communications
Noun phrase compression in Navy messages
Noun phrase compression in Navy messages

by Joan C Bachenko

1983 2 ed.
Communications, Military Computational linguistics Military Communications