Pascal Poizat
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Bounded analysis and decomposition for behavioural descriptions of components Lecture Notes in Computer Science | 2021-05-25 | Paper |
| Transactional Reduction of Component Compositions Lecture Notes in Computer Science | 2009-03-10 | Paper |
| Adaptation of Open Component-Based Systems Lecture Notes in Computer Science | 2007-11-28 | Paper |
| Integration of formal datatypes within state diagrams Lecture Notes in Computer Science | 2003-07-30 | Paper |
| A global semantics for views Lecture Notes in Computer Science | 2002-01-28 | Paper |
| Specification of mixed systems in Korrigan with the support of a UML-inspired graphical notation Lecture Notes in Computer Science | 2002-01-22 | Paper |
| The Korrigan environment Journal of Universal Computer Science | 2001-05-13 | Paper |
Research outcomes over time
This page was built for person: Pascal Poizat
