Stéphane Julia
From MaRDI portal
Person:3423348
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 |
|---|---|---|
| Using linear logic to verify requirement scenarios in composite web service Lecture Notes in Computer Science | 2022-11-04 | Paper |
| Object oriented software architecture design based on UML/Petri net approach for deadlock prevention of real time systems | 2007-02-22 | Paper |
| Real time scheduling of batch systems Simulation Modelling Practice and Theory | 2003-01-09 | Paper |
Research outcomes over time
This page was built for person: Stéphane Julia
