Óscar R. Ribeiro, João M. Fernandes. Validation of Reactive Software from Scenario-Based Models. In Ricardo Jorge Machado, Fernando Brito e Abreu, Paulo Rupino da Cunha, editors, Quality of Information and Communications Technology, 6th International Conference on the Quality of Information and Communications Technology, QUATIC 2007, Lisbon, Portugal, September 12-14, 2007, Proceedings. pages 213-217, IEEE Computer Society, 2007. [doi]
Abstract is missing.