Formal methods and hybrid real-time systems
Formal methods and hybrid real-time systems
Jim Woodcock
,
D. Bjørner
,
Jones, C. B.
Details
OL Work ID
OL16920252W
Subjects
Formal methods (Computer science)
Congresses
Real-time data processing
System design
Find this book
Open Library