Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

An open environment for the integration of heterogeneous modelling techniques and tools

 
: Büssow, R.; Grieskamp, W.; Heicking, W.; Herrmann, S.

Hutter, D.:
Applied formal methods - FM trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 - 9, 1998 ; proceedings
Berlin: Springer, 1999 (Lecture Notes in Computer Science 1641)
ISBN: 3-540-66462-9
ISSN: 0302-9743
pp.184-195
International Workshop on Current Trends in Applied Formal Methods <1998, Boppard>
English
Conference Paper
Fraunhofer ISST ()

: http://publica.fraunhofer.de/documents/N-36712.html