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 = ""
}