Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Pascal Poizat
Pascal Poizat
at_id:
orcid_id:
Disciplines:
Applied sciences
Computer sciences
Edit
Merge
See Links
Thesis:
Korrigan : un formalisme et une methode pour la specification formelle et structuree de systemes mixtes
Directed Thesis:
Informations personnelles sensibles aux contextes : modélisation, interrogation et composition
A symbolic approach for the verification and the test of service choreographies