Cover of Formal Modeling and Analysis of Timed Systems

Mark as

Formal Modeling and Analysis of Timed Systems

by Étienne André

Buy this book
Add to a list
Review

More by Étienne André

Automated Technology for Verification and Analysis

by Jun Sun

Cover of Automated Technology for Verification and Analysis
Review
Buy this book More books like Automated Technology for Verification and Analysis

Quantitative Evaluation of Systems

by Mariëlle Stoelinga

Cover of Quantitative Evaluation of Systems
Review
Buy this book More books like Quantitative Evaluation of Systems

Stochastic Model Checking

by Mariëlle Stoelinga

Cover of Stochastic Model Checking
Review
Buy this book More books like Stochastic Model Checking

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment