Formal Modeling and Analysis of Timed SystemsFranck Cassez

Formal Modeling and Analysis of Timed Systems

Franck Cassez, Claude Jard · 2008

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: 2008
Language: English
Publisher: Springer London, Limited
Editions: 1
ISBN: 9783540857785

Data source: Wikidata

More by Franck Cassez

Automated Technology for Verification and AnalysisFranck Cassez

Automated Technology for Verification and Analysis

Franck Cassez · 2014

Modeling and Verification of Parallel ProcessesFranck Cassez

Modeling and Verification of Parallel Processes

Franck Cassez · 2003