On reachable state space reduction for formal validation of scan-based systems

A. Lobov; C. Popescu; J. L. Martinez Lastra

On reachable state space reduction for formal validation of scan-based systems

Julkaisun otsikon käännös: On reachable state space reduction for formal validation of scan-based systems

A. Lobov
, C. Popescu
, J. L. Martinez Lastra

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

2 Sitaatiot (Scopus)

Julkaisun otsikon käännös	On reachable state space reduction for formal validation of scan-based systems
Alkuperäiskieli	Englanti
Otsikko	INDIN'06, 2006 IEEE International Conference on Industrial Informatics. Integrating Manufacturing and Services Systems. 16-18 August, 2006. Grand Copthorne Waterfront Hotel, Singapore
Sivut	79-84
Tila	Julkaistu - 2006
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Julkaisufoorumi-taso

Ei tasoa

Siteeraa tätä

@inproceedings{d9f7387376a1495e887b9b39a3d8485c,

title = "On reachable state space reduction for formal validation of scan-based systems",

author = "A. Lobov and C. Popescu and \{Martinez Lastra\}, \{J. L.\}",

note = "ISBN 1-4244-9701-0<br/>Contribution: organisation=ttek,FACT1=1",

year = "2006",

language = "English",

isbn = "1-4244-9701-0",

pages = "79--84",

booktitle = "INDIN'06, 2006 IEEE International Conference on Industrial Informatics. Integrating Manufacturing and Services Systems. 16-18 August, 2006. Grand Copthorne Waterfront Hotel, Singapore",

}

On reachable state space reduction for formal validation of scan-based systems. / Lobov, A.; Popescu, C.; Martinez Lastra, J. L.
INDIN'06, 2006 IEEE International Conference on Industrial Informatics. Integrating Manufacturing and Services Systems. 16-18 August, 2006. Grand Copthorne Waterfront Hotel, Singapore. 2006. s. 79-84.

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

TY - GEN

T1 - On reachable state space reduction for formal validation of scan-based systems

AU - Lobov, A.

AU - Popescu, C.

AU - Martinez Lastra, J. L.

N1 - ISBN 1-4244-9701-0<br/>Contribution: organisation=ttek,FACT1=1

PY - 2006

Y1 - 2006

M3 - Conference contribution

SN - 1-4244-9701-0

SP - 79

EP - 84

BT - INDIN'06, 2006 IEEE International Conference on Industrial Informatics. Integrating Manufacturing and Services Systems. 16-18 August, 2006. Grand Copthorne Waterfront Hotel, Singapore

ER -