Skip to content
Book Glossary

Modeling and Verification of Real-Time Systems

by Nicolas Navet, Stephan Merz

Computer software, verificationReal-time data processingSystem design
Writing a summary for young readers…

For young readers

Book data: Open Library