Search results for: Didier Buchs
Software Quality Journal > 2018 > 26 > 2 > 417-453
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2003 > Tool Papers > 473-482
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tools III > 349-352
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2002 > Regular Papers > 142-162
Lecture Notes in Computer Science > Rapid Integration of Software Engineering Techniques > Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report > 57-70
Lecture Notes in Computer Science > Software Engineering for Resilient Systems > Formal Modelling and Verification > 40-47
Lecture Notes in Computer Science > Dependable Systems: Software, Computing, Networks > Dependable Software > 145-171