Personal tools
You are here: Home Publications

Scientific Papers

ISSI Research Papers

Paper information
Title
Testing time goal-driven requirements with Model Checking Techniques
Authors
Gregorio Díaz
Elena Navarro Martínez
Emilia Cambronero
Fernando Cuarter
Valentín Valero
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
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 = ""
}