Formal Methods and Hybrid Real-Time Systems, Fachbücher von Cliff B. Jones

Symposium On Real-time And Hybrid Systems | Cliff Jones (u. A.) |

Formal Methods in Systems Biology, Fachbücher

Formal Methods for Protocol Engineering and Distributed Systems, Fachbücher

Cliff Jones (u. A.) | Fm 2014: Formal Methods | Taschenbuch | Englisch

Hybrid And Real Time Systems : International Workshop ; Proceedings /

Distributed, Embedded and Real-time Java Systems, Fachbücher

Rapid Cycle Real-Time PCR - Methods and Applications, Fachbücher

Real-Time Database and Information Systems: Research Advances, Fachbücher

Specification and Seamless Verification ofEmbedded Real-Time Systems, Fachbücher

Real-Time Database Systems, Fachbücher

Formal Methods and Testing, Fachbücher

Surveillance, Monitoring And Traffic Video Systems Real Time Methods

Time Delay Systems: Methods, Applications and New Trends, Fachbücher

Formal Methods for Embedded Distributed Systems, Fachbücher von Fabrice Kordon

Safety-Critical Real-Time Systems, Fachbücher