Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Delphine Longuet
Model-Based Testing for Concurrent Systems With Labelled Event Structures
Software Testing Verification and Reliability
Media Technology
Risk
Reliability
Safety
Quality
Software
Related publications
Exploiting Model Morphology for Event-Based Testing
IEEE Transactions on Software Engineering
Software
Supervisory Control of Concurrent Discrete-Event Systems
International Journal of Control
Control
Systems Engineering
Computer Science Applications
Symbolic Model Based Testing for Component Oriented Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification and Testing of Concurrent Systems With Action Races
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Model-Based Testing of Probabilistic Systems
Formal Aspects of Computing
Theoretical Computer Science
Software
Conformance Testing of Distributed Concurrent Systems With Executable Designs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Trace-Based Performance Evaluation Model Building for Concurrent Distributed Systems
A Labelled Semantics for Soft Concurrent Constraint Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Transition Systems, Event Structures and Unfoldings
DAIMI Report Series
