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: 2.

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

Clarke, Dave and Diakov, Nikolay and Hähnle, Reiner and Johnsen, Einar Broch and Puebla, Germán and Weitzel, Balthasar and Wong, Peter
Botterweck, Goetz and Jarzabek, Stan and Kishi, Tomoji and Lee, Jaejoon and Livengood, Steve (eds.) (2010):
HATS - A Formal Software Product Line Engineering Methodology.
In: Proc. International Workshop on Formal Methods in Software Product Line Engineering, Jeju Island, South Corea, In: Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools), [Online-Edition: http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf],
[Conference or Workshop Item]

This list was generated on Tue Jun 25 01:55:13 2019 CEST.