A Unifying Specification Logic for Cyber-Physical Systems

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Proceedings of 17th Mediterranean Conference on Control and Automation
Publisher	IEEE Computer Society
Pages	1166-1171
Number of pages	6
Publication status	Published - 2009
Event	17th Mediterranean Conference on Control and Automation - Thessaloniki Duration: 1 Jan 1824 → …

Conference	17th Mediterranean Conference on Control and Automation
City	Thessaloniki
Period	1/01/24 → …

Cite this

@inproceedings{3d42da25ae5646239d97cba18845250f,

title = "A Unifying Specification Logic for Cyber-Physical Systems",

author = "M.C. Bujorianu and M.L. Bujorianu and H. Barringer",

year = "2009",

language = "English",

pages = "1166--1171",

booktitle = "Proceedings of 17th Mediterranean Conference on Control and Automation",

publisher = "IEEE Computer Society ",

address = "United States",

note = "17th Mediterranean Conference on Control and Automation ; Conference date: 01-01-1824",

}

TY - GEN

T1 - A Unifying Specification Logic for Cyber-Physical Systems

AU - Bujorianu, M.C.

AU - Bujorianu, M.L.

AU - Barringer, H.

PY - 2009

Y1 - 2009

M3 - Conference contribution

SP - 1166

EP - 1171

BT - Proceedings of 17th Mediterranean Conference on Control and Automation

PB - IEEE Computer Society

T2 - 17th Mediterranean Conference on Control and Automation

Y2 - 1 January 1824

ER -