• English
  • Deutsch
  • Log In
    Password Login
    or
  • Research Outputs
  • Projects
  • Researchers
  • Institutes
  • Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Artikel
  4. The testing and test control notation TTCN-3 and its use
 
  • Details
  • Full
Options
2012
Book Article
Titel

The testing and test control notation TTCN-3 and its use
Author(s)
Gnesi, S.
Margaria, T.
Schieferdecker, I.
Fraunhofer-Institut für Offene Kommunikationssysteme FOKUS
Vouffo Feudjio, A.-G.
Fraunhofer-Institut für Offene Kommunikationssysteme FOKUS
Hauptwerk
Formal methods for industrial critical systems
Thumbnail Image
DOI
10.1002/9781118459898.ch10
Language
English
google-scholar
Fraunhofer-Institut für Offene Kommunikationssysteme FOKUS
Tags

  • testing/model learning

  • test cases and test verdicts

  • TTCN-3 semantics

  • OSA/parlay services and IMS testing
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Send Feedback
© 2022