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.; Margaria, T.; Schieferdecker, I.; Vouffo Feudjio, A.-G.

:

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

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