Modelling SIP Services Using CRESS
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Protocol Techniques for Testing Radiotherapy Accelerators
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Testing Transition Systems: An Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Testing transition systems: an annotated bibliography
Modeling and verification of parallel processes
TTL: a modular language for hardware/software systems design
Journal of Computer and System Sciences
Modeling and Testing Multi-Threaded Asynchronous Systems with Creol
Electronic Notes in Theoretical Computer Science (ENTCS)
GAST: generic automated software testing
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Model based testing with labelled transition systems
Formal methods and testing
Towards quality of model-based testing in the ioco framework
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
| Hi-index | 0.00 |