Marius C. Bujorianu, Howard Barringer. An Integrated Specification Logic for Cyber-Physical Systems. In 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009. pages 291-300, IEEE Computer Society, 2009. [doi]
@inproceedings{BujorianuB09-0,
title = {An Integrated Specification Logic for Cyber-Physical Systems},
author = {Marius C. Bujorianu and Howard Barringer},
year = {2009},
doi = {10.1109/ICECCS.2009.36},
url = {http://dx.doi.org/10.1109/ICECCS.2009.36},
tags = {C++, logic},
researchr = {https://researchr.org/publication/BujorianuB09-0},
cites = {0},
citedby = {0},
pages = {291-300},
booktitle = {14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009},
publisher = {IEEE Computer Society},
}