Tool Support for System Specification, Development and Verification Berghammer Rudolf Heftet / 1999 / Engelsk
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Joint 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 Lakhnech Yassine Heftet / 2004 / Engelsk
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings Bensalem Saddek Heftet / 2014 / Engelsk
Concurrency Verification Introduction to Compositional and Non-compositional Methods Roever, Willem-Paul de Innbundet / 2001 / Engelsk
Concurrency Verification Introduction to Compositional and Non-compositional Methods Roever, Willem-Paul de Heftet / 2012 / Engelsk
