Search

You searched for: Auteur Raskin, Jean-François. Remove constraint Auteur: Raskin, Jean-François.
1 - 4 of 4
Number of results to display per page

Search Results

1. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Author:
Marsha Chechik, Jean-François Raskin; Raskin, Jean-François
Publisher:
Springer Berlin Heidelberg 2016
Format:
e-book
2. Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
thumbnail
Full text!
Author:
Raskin, Jean-François.; Chatterjee, Krishnendu; Doyen, Laurent; Majumdar, Rupak
Publisher:
Cham Springer 2023
Format:
e-book
3. Formal Modeling and Analysis of Timed Systems
thumbnail
Full text!
Author:
Raskin, Jean-François; Kanade, Takeo; Thiagarajan, P. S.; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book
4. Automated Technology for Verification and Analysis
thumbnail
Full text!
Author:
Cassez; Raskin, Jean-Francois
Publisher:
Springer International Publishing 2014
Format:
e-book