Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

The testing and test control notation TTCN-3 and its use

 
: Gnesi, S.

:

Gnesi, S. (Hrsg.):
Formal methods for industrial critical systems : A survey of applications
Hoboken: Wiley-Blackwell, 2012
ISBN: 978-0-470-87618-3
S.205-233
Englisch
Aufsatz in Buch
Fraunhofer FOKUS ()
testing/model learning; test cases and test verdicts; TTCN-3 semantics; OSA/parlay services and IMS testing

: http://publica.fraunhofer.de/dokumente/N-256560.html