Yassine Lakhnech

Identifiers

Open LibraryOL2769090A

Top Subjects

Verification (1)
Computer software (1)
Computer Science (1)
Parallel processing (Electronic computers) (1)
Data Processing - Parallel Processing (1)
Mathematical theory of computation (1)
Computer Programming (1)

Books by Yassine Lakhnech

Total count: 5

Specification and verification of hybrid and real time systems

Inst. für Informatik und Praktische Mathematik1996-01-01
Tool Support for System Specification, Development and Verification

Island Press1999-01-01
Concurrency verificationintroduction to compositional and noncompositional methods1st edition

Cambridge University Press2001-01-15
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant SystemsJoint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings

Springer London, Limited2004-01-01
From Programs to Systems - the Systems Perspective in ComputingETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

Springer London, Limited2014-01-01