• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Konferenzschrift
  4. Using formal methods for the design of telecommunication services
 
  • Details
  • Full
Options
1999
Conference Paper
Title

Using formal methods for the design of telecommunication services

Author(s)
Born, M.
Hoffmann, A.
Li, M.
Schieferdecker, I.
Mainwork
Formal methods for open object-based distributed systems  
Conference
International Conference on Formal Methods for Open Object Based Distributed Systems (FMOODS) 1999  
Language
English
Fraunhofer-Institut für Offene Kommunikationssysteme FOKUS  
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024