A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Abstract State Machines, Alloy, B, VDM, and Z
Pages	294-307
Volume	7316
DOIs	https://doi.org/10.1007/978-3-642-30885-7_21
Publication status	Published - 2012

Access to Document

@inproceedings{f9f07ad515424efcb0a8fea4f8634eec,

title = "A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams.",

author = "Chris Marriott and Frank Zeyda and Cavalcanti, {Ana Lucia Caneca}",

year = "2012",

doi = "10.1007/978-3-642-30885-7_21",

language = "English",

volume = "7316",

pages = "294--307",

booktitle = "Abstract State Machines, Alloy, B, VDM, and Z",

}

TY - GEN

T1 - A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams.

AU - Marriott, Chris

AU - Zeyda, Frank

AU - Cavalcanti, Ana Lucia Caneca

PY - 2012

Y1 - 2012

UR - http://www.scopus.com/inward/record.url?scp=84863907166&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-30885-7_21

DO - 10.1007/978-3-642-30885-7_21

M3 - Conference contribution

VL - 7316

SP - 294

EP - 307

BT - Abstract State Machines, Alloy, B, VDM, and Z

ER -