Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2012The testing and test control notation TTCN-3 and its use
Gnesi, S.; Margaria, T.; Schieferdecker, I.; Vouffo Feudjio, A.-G.
Aufsatz in Buch
2004Elicitation of use cases for product lines
Fantechi, A.; Gnesi, S.; John, I.; Lami, G.; Dörr, J.
Konferenzbeitrag
2003Elicitation of use cases for product lines
Fantechi, A.; Gnesi, S.; John, I.; Lami, G.; Doerr, J.
Konferenzbeitrag
2003Special issue on the 5th international workshop of the ERCIM working group on formal methods for industrial critical systems, Berlin, April 3-4, 2000. Selected papers. Preface
Garavel, H.; Gnesi, S.; Schieferdecker, I.
Zeitschriftenaufsatz, Konferenzbeitrag
20005th International ERCIM Workshop on Formal Methods for Industrial Critical Systems 2000
: Gnesi, S.; Schieferdecker, I.; Rennoch, A.
Tagungsband