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

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

2 Citations (Scopus)

Translated title of the contribution	On reachable state space reduction for formal validation of scan-based systems
Original language	English
Title of host publication	INDIN'06, 2006 IEEE International Conference on Industrial Informatics. Integrating Manufacturing and Services Systems. 16-18 August, 2006. Grand Copthorne Waterfront Hotel, Singapore
Pages	79-84
Publication status	Published - 2006
Publication type	A4 Article in conference proceedings

Publication forum classification

No publication forum level

Cite this

@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. p. 79-84.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

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 -