Chapter 4. Interactive Simulation
Published Online: 28 JAN 2005
DOI: 10.1002/0470014156.ch4
Copyright © 2003 John Wiley & Sons, Ltd
Book Title
Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis
Additional Information
How to Cite
Doldi, L. (2005) Interactive Simulation, in Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis, John Wiley & Sons, Ltd, Chichester, UK. doi: 10.1002/0470014156.ch4
Publication History
- Published Online: 28 JAN 2005
- Published Print: 22 APR 2003
ISBN Information
Print ISBN: 9780470852866
Online ISBN: 9780470014158
- Summary
- Chapter
Keywords:
- interactive simulation;
- Tau SDL Suite;
- reasonable environment and loose time progression
Summary
This chapter contains sections titled:
Principles
Case Study with Tau SDL Suite
Case Study with ObjectGeode
Errors Detectable by Interactive Simulation