Formal methods for real-time computing
By Constance Heitmeyer, Dino Mandrioli
Subjects: Real-time data processing, Formal methods (Computer science)
Description: xvii, 271 p. : 24 cm
Comments
You must log in to leave comments.
Subjects: Real-time data processing, Formal methods (Computer science)
Description: xvii, 271 p. : 24 cm
You must log in to leave comments.