Formal Modeling and Analysis of Timed SystemsSriram Sankaranarayanan

Formal Modeling and Analysis of Timed Systems

Sriram Sankaranarayanan, Enrico Vicario · 2015

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2015
Language: English
Publisher: Springer London, Limited
Editions: 3
Pages: 321
ISBN: 9783319229751

Data source: Wikidata

More by Sriram Sankaranarayanan

Verification, Model Checking, and Abstract InterpretationSriram Sankaranarayanan

Verification, Model Checking, and Abstract Interpretation

Sriram Sankaranarayanan · 2025

Tools and Algorithms for the Construction and Analysis of SystemsSriram Sankaranarayanan

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan · 2023