Publicações

Issues to Be Considered on Obtaining Plant Models for Formal Verification Purposes

AuthID
P-00M-D6V

Author(s)

Pacheco, R

Gonzalez, L

Intriago, M

Machado, J

Prisacaru, G

Olaru, D

Editor(es)

Doroftei,I;Popescu,A;Bujoreanu,C

Tipo de Documento

Proceedings Paper

Year published

2016

Publicado

in 7TH INTERNATIONAL CONFERENCE ON ADVANCED CONCEPTS IN MECHANICAL ENGINEERING in IOP Conference Series-Materials Science and Engineering, ISSN: 1757-8981

Volume: 147, Número: 1, Páginas: 012050 (9)

Conference

7Th International Conference on Advanced Concepts in Mechanical Engineering (Acme), Date: JUN 09-10, 2016, Location: Iasi, ROMANIA, Patrocinadores: Gheorghe Asachi Tech Univ Iasi, Mech Engn Fac, Romanian Minist Natl Educ & Sci Res, Romanian Acad Tech Sci, Acad Romanian Scientists

Indexing