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

English

Un Assistant Méthodologique UML. Modélisation Et Vérification Formelle De Protocoles Guidées Par Des Patrons

Techniques et sciences informatiques

English