TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 4.

Meier-Arendt, David ; Schmitt, Christiane ; Heß, Julian ; Schäfer, Jan ; Beisswanger, Marcus (eds.) (2018):
Geschlecht, Differenz und Identität.
In: Ringvorlesung, 1, Darmstadt, [Book]

Wong, Peter Y. H. ; Albert, Elvira ; Muschevici, Radu ; Proenca, Jose ; Schäfer, Jan ; Schlatte, Rudolf (2012):
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems.
In: STTT, 14 (5), pp. 567-588. DOI: 10.1007/s10009-012-0250-1,
[Article]

Clarke, Dave ; Diakov, Nikolay ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schafer, Ina ; Schäfer, Jan ; Schlatte, Rudolf ; Wong, Peter
Bernardo, M. ; Issarny, V. (eds.) (2011):
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.
In: LNCS, 6659, In: Formal Methods for Eternal Networked Software Systems, p. 417, Springer-Verlag, [Book Section]

Johnsen, Einar Broch ; Hähnle, Reiner ; Schäfer, Jan ; Schlatte, Rudolf ; Steffen, Martin
Aichernig, Bernhard K. ; de Boer, Frank S. ; Bonsangue, Marcello M. (eds.) (2010):
ABS: A Core Language for Abstract Behavioral Specification.
In: Lecture Notes in Computer Science, 6957, pp. 142-164, Springer, Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers, DOI: 10.1007/978-3-642-25271-6₈,
[Conference or Workshop Item]

This list was generated on Sat Dec 4 05:33:23 2021 CET.