Yazar
Constance Heitmeyer
3 cilt bulundu.
Cilt sonuçları
Formal methods for real-time computing
Constance Heitmeyer, Dino Mandrioli · Wiley
271 sayfa · 1996
Real-time data processing / Formal methods (Computer science)
FM 2016 : Formal Methods
John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou · Springer
812 sayfa · 2016
Computer software, development / System design
An approach to describing the functional requirements of an embedded communication system
Constance L Heitmeyer · Naval Research Laboratory
15 sayfa · 1982
Communications, Military / Computer engineering / Military Communications