Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Formal based conformance and performance testing

 
: Schieferdecker, I.K.; Rennoch, A.

Gnesi, S. ; European Research Consortium for Informatics and Mathematics -ERCIM-, Working Group on Formal Methods for Industrial Critical Systems:
ERCIM Workshop on Formal Methods for Industrial Critical Systems 1996 : St Hugh's College, Oxford (UK) March 19, 1996
Oxford, 1996 (Technical Report CNR 94/45)
S.73-80
Workshop on Formal Methods for Industrial Critical Systems (FMICS) <1, 1996, Oxford>
Englisch
Konferenzbeitrag
Fraunhofer FOKUS ()

: http://publica.fraunhofer.de/dokumente/960759.html