TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 1.
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