scientific article; zbMATH DE number 2176512

MaRDI QIDQ4679548zbMATH OpenFDO

Authors Helmut Neukirchen

Publication date 17 June 2005

Full work available at URL http://webdoc.sub.gwdg.de/diss/2004/neukirchen/index.html

zbMATH Keywords

message sequence chartsreal-time communication patterns

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Distributed systems (68M14)

Recommendations

• TIMED TTCN-3 based graphical real-time test specification
• FM 2005: Formal Methods
• A local approach to the testing of real-time systems
• Conformance tests for real-time systems with timed automata specifications
• Using TimedTTCN-3 in Interoperability Testing for Real-Time Communication Systems

Cited in

(4)

• Using TimedTTCN-3 in Interoperability Testing for Real-Time Communication Systems
• Realizing distributed TTCN-3 test systems with TCI
• TIMED TTCN-3 based graphical real-time test specification
• Formal Techniques for Networked and Distributed Systems – FORTE 2004

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4679548)