Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Using formal methods for the design of telecommunication services

 
: Born, M.; Hoffmann, A.; Li, M.; Schieferdecker, I.

Ciancarini, P. ; International Federation for Information Processing -IFIP-, Working Group 6.1 Architecture and Protocols for Computer Networks:
Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS), February 15 - 18, 1999, Florence, Italy
Boston: Kluwer, 1999
ISBN: 0-7923-8429-6
International Conference on Formal Methods for Open Object Based Distributed Systems (FMOODS) <3, 1999, Firenze>
English
Conference Paper
Fraunhofer FOKUS ()