Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pierre de Saqui-Sannes
Static Analysis Techniques to Verify Mutual Exclusion Situations Within SysML Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Un Assistant Méthodologique UML. Modélisation Et Vérification Formelle De Protocoles Guidées Par Des Patrons
Techniques et sciences informatiques
Related publications
SysML Model-Driven Approach to Verify Blocks Compatibility
International Journal of Computer Aided Engineering and Technology
Engineering
Computer Science Applications
Software
Formal Analysis of Suzuki&Kasami Distributed Mutual Exclusion Algorithm
Mutual Exclusion in Cyber-Physical Systems
A Queue Based Mutual Exclusion Algorithm
Acta Informatica
Computer Networks
Software
Information Systems
Communications
A SysML Profile for Fault Trees—Linking Safety Models to System Design
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Distributed Mutual Exclusion in Cooperating Mobile Agents
Safety Analysis of SysML Models in the Context of Model-Driven Engineering
Mutual-Exclusion Statistics in Exactly Solvable Models in One and Higher Dimensions at Low Temperatures
Physical Review B
A Simple Taxonomy for Distributed Mutual Exclusion Algorithms
Operating Systems Review (ACM)
Hardware
Computer Networks
Information Systems
Architecture
Communications
