Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Meriem Ouederni
Compatibility Checking for Asynchronously Communicating Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Correct-By-Construction Model for Asynchronously Communicating Systems
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Related publications
Analyzing Interactions of Asynchronously Communicating Software Components
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Asynchronously Communicating Visibly Pushdown Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Logics for Communicating Sequential Agents
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Checking Compatibility of Web Services Behaviorally
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Templates for Communicating Information About Software Requirements and Software Problems
Modeling and Checking Robustness of Communicating Autonomous Vehicles
Advances in Intelligent Systems and Computing
Control
Systems Engineering
Computer Science
Dynamic Path Reduction for Software Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
