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 Cuartero
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:236,
        title =  "Testing time goal-driven requirements with Model Checking Techniques",
        author = "Gregorio Díaz and Elena Navarro Martínez and Emilia Cambronero and Fernando Cuartero",
        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 = ""
}