- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
Extending rely-guarantee thinking to handle real-time scheduling ; day:30 ; month:11 ; year:2023 ; pages:1-22
Formal methods in system design ; (30.11.2023), 1-22
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-023-00441-y
- URN
-
urn:nbn:de:101:1-2024021916203762601485
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:59 MESZ
Datenpartner
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Jones, Cliff B.
- Burns, Alan
- SpringerLink (Online service)