1 option
Testing of Communicating Systems : 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings / edited by Dieter Hogrefe, Anthony Wiles.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 2644.
- Lecture Notes in Computer Science, 0302-9743 ; 2644
- Language:
- English
- Subjects (All):
- Electrical engineering.
- Software engineering.
- Computer networks.
- Communications Engineering, Networks.
- Software Engineering.
- Computer Communication Networks.
- Local Subjects:
- Communications Engineering, Networks.
- Software Engineering.
- Computer Communication Networks.
- Physical Description:
- 1 online resource (XII, 312 pages).
- Edition:
- First edition 2003.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
- System Details:
- text file PDF
- Contents:
- Keynote Speech I
- Prediction = Power
- Next Generation Networks, IP and UMTS
- UMTS Terminal Testing: A Practical Perspective
- Testing of 3G 1xEV-DV Stack - A Case Study
- Testing SIP Call Flows Using XML Protocol Templates
- Towards Modeling and Testing of IP Routing Protocols
- TTCN-3
- An Intuitive TTCN-3 Data Presentation Format
- The UML 2.0 Testing Profile and Its Relation to TTCN-3
- Realizing Distributed TTCN-3 Test Systems with TCI
- TimedTTCN-3 Based Graphical Real-Time Test Specification
- Keynote Speech II
- Interoperabolity Events Complementing Conformance Testing Activities
- Automata-Based Methodology
- Testing Transition Systems with Input and Output Testers
- Generating Checking Sequences for a Distributed Test Architecture
- Conformance of Distributed Systems
- An Automata-Based Approach to Property Testing in Event Traces
- Fault Diagnosis in Extended Finite State Machines
- A Guided Method for Testing Timed Input Output Automata
- Interoperability Testing
- Interoperability Testing Based on a Fault Model for a System of Communicating FSMs
- Framework and Model for Automated Interoperability Test and Its Application to ROHC
- Keynote Speech III
- TestNet: Let's Test Together!
- Test Design, Tools and Methodology
- An Open Framework for Managed Regression Testing
- TUB-TCI An Architecture for Dynamic Deployment of Test Components
- Fast Testing of Critical Properties through Passive Testing.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-44830-3
- 9783540448303
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.