Encoding PAMR into (Timed) EFSMs
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Fault Models for Embedded Systems (Extended Abstract)
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Fault model-driven test derivation from finite state models: annotated bibliography
Modeling and verification of parallel processes
Formal Methods in System Design
An Approach to Testing with Embedded Context Using Model Checker
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Interoperability testing based on a fault model for a system of communicating FSMs
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Compositional testing of communication systems
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
FSM test translation through context
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
A note on an anomaly in black-box testing
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
| Hi-index | 0.00 |