bib.howest.be Zoekresultaten

U zocht naar: Auteur Raskin, Jean-François

1 - 4 van 4

1. Tools and Algorithms for the Construction and Analysis of Systems

Auteur:: Marsha Chechik, Jean-François Raskin; Raskin, Jean-François
Uitgever:: Springer Berlin Heidelberg 2016
Type:: e-book

2. Principles of Systems Design : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

Auteur:: Raskin, Jean-François.; Chatterjee, Krishnendu; Doyen, Laurent; Majumdar, Rupak
Uitgever:: Cham Springer 2023
Type:: e-book

3. Formal Modeling and Analysis of Timed Systems

Auteur:: Raskin, Jean-François; Kanade, Takeo; Thiagarajan, P. S.; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

4. Automated Technology for Verification and Analysis

Auteur:: Cassez; Raskin, Jean-Francois
Uitgever:: Springer International Publishing 2014
Type:: e-book