Luis Garc?, Steve Roach,
"Model-Checker-Based Testing of LTL Specifications,"
High-Assurance Systems Engineering, IEEE International Symposium on, pp. 417-418, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 2007.
BibTex
x
@article{
10.1109/HASE.2007.34, author = {Luis Garc? and Steve Roach}, title = {Model-Checker-Based Testing of LTL Specifications}, journal ={High-Assurance Systems Engineering, IEEE International Symposium on}, volume = {0}, year = {2007}, issn = {1530-2059}, pages = {417-418}, doi = {http://doi.ieeecomputersociety.org/10.1109/HASE.2007.34}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - CONF JO - High-Assurance Systems Engineering, IEEE International Symposium on TI - Model-Checker-Based Testing of LTL Specifications SN - 1530-2059 SP417 EP418 A1 - Luis Garc?, A1 - Steve Roach, PY - 2007 KW - null VL - 0 JA - High-Assurance Systems Engineering, IEEE International Symposium on ER -
Luis Garc?, Steve Roach, "Model-Checker-Based Testing of LTL Specifications," hase, pp.417-418, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 2007
PDF
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb