Formal Modelling and Verification of IEC 61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics

Sandeep Patil, Victor Dubinin, Valeriy Vyatkin

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

15 Sitaatiot (Scopus)

Alkuperäiskieli	Englanti
Otsikko	1st Symposium on Dependable Software Engineering, Nanjing, China,November, 2015
Julkaisupaikka	Germany
Tila	Julkaistu - 2015
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Nimi
ISSN (painettu)	0302-9743

Siteeraa tätä

@inproceedings{c31b83871cf84b1899a6eb2dbc0e118d,

title = "Formal Modelling and Verification of IEC 61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics",

author = "Sandeep Patil and Victor Dubinin and Valeriy Vyatkin",

year = "2015",

language = "English",

isbn = "978-3-319-25941-3",

booktitle = "1st Symposium on Dependable Software Engineering, Nanjing, China,November, 2015",

}

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

TY - GEN

T1 - Formal Modelling and Verification of IEC 61499 Function Blocks with Abstract State Machines and SMV - Execution Semantics

AU - Patil, Sandeep

AU - Dubinin, Victor

AU - Vyatkin, Valeriy

PY - 2015

Y1 - 2015

M3 - Conference article in proceedings

SN - 978-3-319-25941-3

BT - 1st Symposium on Dependable Software Engineering, Nanjing, China,November, 2015

CY - Germany

ER -