Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

A meta-model for TTCN-3

 
: Schieferdecker, I.; Din, G.

Núñez, M.:
Applying formal methods. Testing, performance and M/E-commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1 - 2, 2004. Proceedings
Berlin: Springer, 2004 (Lecture Notes in Computer Science 3236)
ISBN: 3-540-23169-2
ISSN: 0302-9743
S.366-379
International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) <24, 2004, Madrid>
International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce (TheFormEMC) <1, 2004, Toledo>
European Performance Enginneering Worshop (EPEW) <1, 2004, Toledo>
International Workshop on Integration of Testing Methodologies (ITM) <1, 2004, Toledo>
Englisch
Konferenzbeitrag
Fraunhofer FOKUS ()

: http://publica.fraunhofer.de/dokumente/2004966300.html