CIF 3: Model-based engineering of supervisory controllers

D.A. van Beek; W.J. Fokkink; Dennis Hendriks; A. Hofkamp; J. Markovski; J.M. van de Mortel-Fronczak; M.A. Reniers

doi:10.1007/978-3-642-54862-8_48

CIF 3: Model-based engineering of supervisory controllers

D.A. van Beek, W.J. Fokkink, Dennis Hendriks, A. Hofkamp, J. Markovski, J.M. van de Mortel-Fronczak, M.A. Reniers

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	575-580
Journal	Lecture Notes in Computer Science
Volume	8413
Issue number	8413
DOIs	https://doi.org/10.1007/978-3-642-54862-8_48
Publication status	Published - 2014

Bibliographical note

Proceedings title: Proc. 20th Conference on Tools and Algorithms for the Construction and Analysis of Systems - TACAS'14
Publisher: Springer

Access to Document

10.1007/978-3-642-54862-8_48

Cite this

@article{a35b38fc1e264120abe8bb7d6e54a7d3,

title = "CIF 3: Model-based engineering of supervisory controllers",

author = "{van Beek}, D.A. and W.J. Fokkink and Dennis Hendriks and A. Hofkamp and J. Markovski and {van de Mortel-Fronczak}, J.M. and M.A. Reniers",

note = "Proceedings title: Proc. 20th Conference on Tools and Algorithms for the Construction and Analysis of Systems - TACAS'14 Publisher: Springer",

year = "2014",

doi = "10.1007/978-3-642-54862-8_48",

language = "English",

volume = "8413",

pages = "575--580",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

number = "8413",

}

TY - JOUR

T1 - CIF 3: Model-based engineering of supervisory controllers

AU - van Beek, D.A.

AU - Fokkink, W.J.

AU - Hendriks, Dennis

AU - Hofkamp, A.

AU - Markovski, J.

AU - van de Mortel-Fronczak, J.M.

AU - Reniers, M.A.

N1 - Proceedings title: Proc. 20th Conference on Tools and Algorithms for the Construction and Analysis of Systems - TACAS'14 Publisher: Springer

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-642-54862-8_48

DO - 10.1007/978-3-642-54862-8_48

M3 - Article

VL - 8413

SP - 575

EP - 580

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

IS - 8413

ER -