Formally Specifying Requirements with RSL-IL

David de Almeida Ferreira, Alberto Rodrigues da Silva. Formally Specifying Requirements with RSL-IL. In João Pascoal Faria, Alberto Rodrigues da Silva, Ricardo Jorge Machado, editors, 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012, Lisbon, Portugal, 2-6 September 2012, Proceedings. pages 217-220, IEEE Computer Society, 2012. [doi]

Abstract

Abstract is missing.