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 JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)575-580
JournalLecture Notes in Computer Science
Volume8413
Issue number8413
DOIs
Publication statusPublished - 2014

Bibliographical note

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

Cite this

van Beek, D. A., Fokkink, W. J., Hendriks, D., Hofkamp, A., Markovski, J., van de Mortel-Fronczak, J. M., & Reniers, M. A. (2014). CIF 3: Model-based engineering of supervisory controllers. Lecture Notes in Computer Science, 8413(8413), 575-580. https://doi.org/10.1007/978-3-642-54862-8_48
van Beek, D.A. ; Fokkink, W.J. ; Hendriks, Dennis ; Hofkamp, A. ; Markovski, J. ; van de Mortel-Fronczak, J.M. ; Reniers, M.A. / CIF 3: Model-based engineering of supervisory controllers. In: Lecture Notes in Computer Science. 2014 ; Vol. 8413, No. 8413. pp. 575-580.
@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",

}

van Beek, DA, Fokkink, WJ, Hendriks, D, Hofkamp, A, Markovski, J, van de Mortel-Fronczak, JM & Reniers, MA 2014, 'CIF 3: Model-based engineering of supervisory controllers' Lecture Notes in Computer Science, vol. 8413, no. 8413, pp. 575-580. https://doi.org/10.1007/978-3-642-54862-8_48

CIF 3: Model-based engineering of supervisory controllers. / van Beek, D.A.; Fokkink, W.J.; Hendriks, Dennis; Hofkamp, A.; Markovski, J.; van de Mortel-Fronczak, J.M.; Reniers, M.A.

In: Lecture Notes in Computer Science, Vol. 8413, No. 8413, 2014, p. 575-580.

Research output: Contribution to JournalArticleAcademicpeer-review

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 -

van Beek DA, Fokkink WJ, Hendriks D, Hofkamp A, Markovski J, van de Mortel-Fronczak JM et al. CIF 3: Model-based engineering of supervisory controllers. Lecture Notes in Computer Science. 2014;8413(8413):575-580. https://doi.org/10.1007/978-3-642-54862-8_48