Konferenzveröffentlichung

Kamburjan, Eduard ; Din, Crystal Chang ; Hähnle, Reiner ; Johnsen, Einar Broch
Hrsg.: Ölveczky, Peter Csaba ; Salaün, Gwen (2019)
Asynchronous Cooperative Contracts for Cooperative Scheduling.
Software Engineering and Formal Methods - 17th International Conference, SEFM 2019. Oslo, Norway (September 18-20)
doi: 10.1007/978-3-030-30446-1_3
Konferenzveröffentlichung, Bibliographie

Kamburjan, Eduard ; Hähnle, Reiner
Hrsg.: Artho, Cyrille ; Ölveczky, Peter Csaba (2016)
Uniform Modeling of Railway Operations.
Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers.
doi: 10.1007/978-3-319-53946-1_4
Konferenzveröffentlichung, Bibliographie