Clicky

Formal Modeling and Analysis of Timed Systems by Sriram Sankaranarayanan and similar books you'll love - Bookscovery

Home > Authors > Sriram Sankaranarayanan > Formal Modeling and Analysis of Timed Systems

Buy at: Bookshop.org Amazon

Formal Modeling and Analysis of Timed Systems

Sriram Sankaranarayanan, Enrico Vicario

Recent activity

Rate this book to see your activity here.

4 Books Similar to Formal Modeling and Analysis of Timed Systems by Sriram Sankaranarayanan

Bookscovery readers who liked Formal Modeling and Analysis of Timed Systems also like Automated Technology for Verification and Analysis, Integer Programming Games and Tools and Algorithms for the Construction and Analysis of Systems. How many of these have you read?

Automated Technology for Verification and Analysis by S. Akshay

Cover of Automated Technology for Verification and Analysis
Buy this book at:
Bookshop.org Amazon

Integer Programming Games by Margarida Carvalho

Cover of Integer Programming Games
Buy this book at:
Bookshop.org Amazon

Tools and Algorithms for the Construction and Analysis of Systems by Sriram Sankaranarayanan

Cover of Tools and Algorithms for the Construction and Analysis of Systems
Buy this book at:
Bookshop.org Amazon

Verification, Model Checking, and Abstract Interpretation by Sriram Sankaranarayanan

Cover of Verification, Model Checking, and Abstract Interpretation
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Formal Modeling and Analysis of Timed Systems

Please sign in to leave a comment