Publications

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(s)

Doroftei,I;Popescu,A;Bujoreanu,C

Document Type

Proceedings Paper

Year published

2016

Published

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

Volume: 147, Issue: 1, Pages: 012050 (9)

Conference

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

Indexing