"real time systems"

5 résultats

Trier par :

Couverture du produit · Introduction to the Formal Design of Real-Time Systems

Livre Introduction to the Formal Design of Real-Time Systems

Couverture du produit · Duration Calculus: A Formal Approach to Real-Time Systems

Livre Duration Calculus: A Formal Approach to Real-Time Systems

Chaochen Zhou et Michael R. Hansen

Couverture du produit · Real-time Integration Methods for Mechanical System Simulation: Workshop Proceedings

Livre Real-time Integration Methods for Mechanical System Simulation: Workshop Proceedings

Edward J. Haug et Roderic C. Deyo

Couverture du produit · Transformation-Based Reactive Systems Development: 4th International Amast Workshop on Real-Time Systems and Concurrent and Dis

Livre Transformation-Based Reactive Systems Development: 4th International Amast Workshop on Real-Time Systems and Concurrent and Dis

Miquel Bertran et Teodor Rus

Couverture du produit · Formal Methods for the Design of Real - Time Systems: International School On Formal Methods For The Design Of Computer, Commun

Livre Formal Methods for the Design of Real - Time Systems: International School On Formal Methods For The Design Of Computer, Commun

Marco Bernardo et Flavio Corradini

Vous n'avez pas trouvé l'article que vous cherchiez ?

Activez les notifications dans votre compte pour être alerté dès qu'il est en stock.

Créer une alerte