Modeling and Verification of Real-time Systems Formalisms and Software Tools

by Navet, Nicolas; Merz, Stephan

• ISBN13: 9781848210134
• ISBN10: 1848210132
• Edition: 1st
• Format: Hardcover

• Rental Textbook Copy Usually Ships in 3-4 Business Days
• New Textbook Copy Usually Ships in 3-4 Business Days
• Free Shipping On Orders Over $35!

Interactive Theorem Proving

by Blanchette, Jasmin Christian; Merz, Stephan

• ISBN13: 9783319431437
• ISBN10: 3319431439
• Format: Paperback

Practical Applications of Sensors

by Editor: André Migeon (M2A Technologies, Valence, France); Editor: Stephan Merz (INRIA Lorraine (Nancy, France))

• ISBN13: 9781848210141
• ISBN10: 1848210140
• Edition: 1st
• Format: Hardcover

Integrated Formal Methods

by Mery, Dominique; Merz, Stephan

• ISBN13: 9783642162640
• ISBN10: 3642162649
• Format: Paperback

Modeling and Verification of Real-time Systems

by Editor: Nicolas Navet (Real-Time Systems at INRIA Lorraine (Nancy, France)); Editor: Stephan Merz (INRIA Lorraine (Nancy, France))

• ISBN13: 9780470393598
• ISBN10: 0470393599
• Format: eBook

Temporal Logic and State Systems

by Kroger, Fred; Merz, Stephan

• ISBN13: 9783642086809
• ISBN10: 3642086802
• Format: Paperback

Modeling and Verification of Real-time Systems

by Navet, Nicolas; Merz, Stephan

• ISBN13: 9780470611012
• ISBN10: 0470611014
• Edition: 1st
• Format: eBook

Formal Methods and Software Engineering

by Merz, Stephan; Pang, Jun

• ISBN13: 9783319117362
• ISBN10: 331911736X
• Format: Paperback

Formal Methods and Software Engineering

by Stephan Merz

• ISBN13: 9783319117379
• ISBN10: 3319117378
• Format: Nonspecific Binding