Search results for: Moez Krichen
Concurrency and Computation: Practice and Experience > 34 > 7 > n/a - n/a
Science of Computer Programming > 2016 > 122 > C > 1-28
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Real-Time and Mobility > 317-331
Lecture Notes in Computer Science > Principles of Distributed Systems > Brief Announcements II > 139-142
Lecture Notes in Computer Science > Model-Based Testing of Reactive Systems > Testing of Finite State Machines > 35-67
Lecture Notes in Computer Science > Formal Approaches to Software Testing and Runtime Verification > Regular Papers > 148-162
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Timed and Probabilistic Systems > 96-111
Lecture Notes in Computer Science > Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems > Regular Papers > 134-151
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Automata Theory > 245-259
Formal Methods in System Design > 2015 > 46 > 1 > 42-80
Formal Methods in System Design > 2009 > 34 > 3 > 238-304
Electronic Notes in Theoretical Computer Science > 2005 > 113 > Complete > 23-43