Skip to content
Vinony

Formal methods for real-time computing

by Constance Heitmeyer, Dino Mandrioli

Cover of Formal methods for real-time computing
Popularity 1

xvii, 271 p. : 24 cm

Real-time data processingFormal methods (Computer science)