- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
P-stable abstractions of hybrid systems ; day:29 ; month:1 ; year:2024 ; pages:1-24
Software and systems modeling ; (29.1.2024), 1-24
- Urheber
-
Becchi, Anna
Cimatti, Alessandro
Zaffanella, Enea
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10270-023-01145-x
- URN
-
urn:nbn:de:101:1-2024040910095021070688
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:53 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Becchi, Anna
- Cimatti, Alessandro
- Zaffanella, Enea
- SpringerLink (Online service)
Ähnliche Objekte (12)
Refinements of behavioural abstractions for the supervisory control of hybrid systems
Refinements of behavioural abstractions for the supervisory control of hybrid systems
Lumpability abstractions of rule-based systems
Guided search for hybrid systems based on coarse-grained space abstractions
Letters to abstractions
On Translation Validation for System Abstractions
Flatland/abstractions narratives
Writing Clean Abstractions
Comparing perfomance abstractions for collective adaptive systems
The Abstractions of AngularJS
Are anamorphisms reasonable abstractions?
Declaratively yours: Composing system abstractions with GNU Guix
Refinements of behavioural abstractions for the supervisory control of hybrid systems
Refinements of behavioural abstractions for the supervisory control of hybrid systems
Lumpability abstractions of rule-based systems
Guided search for hybrid systems based on coarse-grained space abstractions
Letters to abstractions
On Translation Validation for System Abstractions
Flatland/abstractions narratives
Writing Clean Abstractions
Comparing perfomance abstractions for collective adaptive systems
The Abstractions of AngularJS
Are anamorphisms reasonable abstractions?
Declaratively yours: Composing system abstractions with GNU Guix
Refinements of behavioural abstractions for the supervisory control of hybrid systems
Refinements of behavioural abstractions for the supervisory control of hybrid systems
Lumpability abstractions of rule-based systems
Guided search for hybrid systems based on coarse-grained space abstractions
Letters to abstractions
On Translation Validation for System Abstractions
Flatland/abstractions narratives
Writing Clean Abstractions
Comparing perfomance abstractions for collective adaptive systems
The Abstractions of AngularJS
Are anamorphisms reasonable abstractions?