Validation of Reactive Software from Scenario-Based Models

6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007) ◽

10.1109/quatic.2007.33 ◽

2007 ◽

Author(s):

Oscar R. Ribeiro ◽

Joao M. Fernandes

Download Full-text