Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2013Defining a formal semantics for real-time test specification with TTCN-3
Serbanescu, Diana; Schieferdecker, Ina
Zeitschriftenaufsatz
2002Formal software specification with refinements and modules of typed graph transformation systems
Große-Rhode, M.; Parisi Presicce, F.; Simeoni, M.
Zeitschriftenaufsatz