Jacques Combaz
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 |
|---|---|---|
| Local planning of multiparty interactions with bounded horizons | 2020-01-03 | Paper |
| Compositional verification for timed systems based on automatic invariant generation Logical Methods in Computer Science | 2015-10-29 | Paper |
| Rigorous implementation of real-time systems -- from theory to application MSCS. Mathematical Structures in Computer Science | 2013-08-26 | Paper |
| Symbolic quality control for multimedia applications Real-Time Systems | 2008-09-12 | Paper |
Research outcomes over time
This page was built for person: Jacques Combaz
