TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 1.

Clarke, Dave ; Diakov, Nikolay ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schafer, Ina ; Schäfer, Jan ; Schlatte, Rudolf ; Wong, Peter
Hrsg.: Bernardo, M. ; Issarny, V. (2011)
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.
In: Formal Methods for Eternal Networked Software Systems
Buchkapitel, Bibliographie

Diese Liste wurde am Tue Mar 26 02:55:36 2024 CET generiert.