Scientific Papers
ISSI Research PapersPaper information
Title
Testing time goal-driven requirements with Model Checking Techniques
Testing time goal-driven requirements with Model Checking Techniques
Published in
14th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'07), Tucson, USA, March 26-29, 2007. - 2007
14th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'07), Tucson, USA, March 26-29, 2007. - 2007
Abstract
BibTeX
@misc{issi_web:id:251, title = "Testing time goal-driven requirements with Model Checking Techniques", author = "Gregorio Díaz and Elena Navarro Martínez and Emilia Cambronero and Fernando Cuarter and Valentín Valero", booktitle = "14th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'07), Tucson, USA, March 26-29, 2007.", year = "2007", eprint = "http://issi.dsic.upv.es/publications/archives/", url = "", abstract = "" }