Kategorien

Zu "Model Checking" wurden 8 Produkte gefunden

Filter
–
Download
PDF
Principles of the Spin Model Checker
Principles of the Spin Model Checker Mordechai Ben-Ari

47,59 €*
Download
PDF
High-Level Verification
High-Level Verification Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta

117,69 €*
Download
PDF
Stochastic Reachability Analysis of Hybrid Systems
Stochastic Reachability Analysis of Hybrid Systems Luminita Manuela Bujorianu

106,99 €*
Download
PDF
Design and Verification of Microprocessor Systems for High-Assurance Applications
Design and Verification of Microprocessor Systems for High-Assurance Applications Torben Amtoft, Selly Browning, Jared Davis, Anthony C. J. Fox, David A. Greve, Michael J. C. Gordon

171,19 €*
Download
PDF
From Basic Survival Analytic Theory to a Non-Standard Application
From Basic Survival Analytic Theory to a Non-Standard Application Georg Zimmermann

53,49 €*
Download
PDF
Scalable Techniques for Formal Verification
Scalable Techniques for Formal Verification Sandip Ray

96,29 €*
Download
PDF
Cyber-Physical System Design from an Architecture Analysis Viewpoint
Cyber-Physical System Design from an Architecture Analysis Viewpoint Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu

96,29 €*
Download
PDF
Logics in Computer Science
Logics in Computer Science Fabio Mogavero

90,94 €*
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...