Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Formalization and testing of reference point facets

 
: Schieferdecker, I.; Li, M.; Rennoch, A.

Gnesi, S.; Schieferdecker, I.; Rennoch, A. ; European Research Consortium for Informatics and Mathematics -ERCIM-:
5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems 2000 : Proceedings of FMICS'2000, April 3 - 4, 2000 in Berlin
Sankt Augustin: GMD Forschungszentrum Informationstechnik, 2000 (GMD Report 91)
S.141-159
International Workshop on Formal Methods for Industrial Critical Systems (FMICS) <5, 2000, Berlin>
Englisch
Konferenzbeitrag
Fraunhofer FOKUS ()

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