Search results for: Fabrice Kordon
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 3 > 281-308
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Frameworks and Formalization > 123-132
Lecture Notes in Computer Science > Reliable Software Technologies — Ada-Europe’ 99 > Tools > 308-319
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems > 103-121
Lecture Notes in Computer Science > Applications and Theory of Petri Nets > Regular Papers > 211-230
Lecture Notes in Computer Science > Radical Innovations of Software and Systems Engineering in the Future > 137-151
Lecture Notes in Computer Science > Transactions on Petri Nets and Other Models of Concurrency III > 159-188
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking I > 1-15
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Tutorials: Extended Abstracts > 362-365
Lecture Notes in Computer Science > Software Technologies for Embedded and Ubiquitous Systems > Synthesis, Verification and Protection > 381-393
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2006 > Petri Nets > 339-355
Lecture Notes in Computer Science > Reliable Software Technology – Ada-Europe 2005 > Design and Scheduling Issues > 67-78
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency – ICATPN 2007 > Tool Papers > 495-504
Lecture Notes in Computer Science > Foundations of Computer Software. Future Trends and Techniques for Development > 181-200
Lecture Notes in Computer Science > Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs > Papers > 15-24
Lecture Notes in Computer Science > Reliable Software Technologies - Ada-Europe 2004 > Distributed Systems > 106-119