Rupert Schlick, Wolfgang Herzner, Thierry Le Sergent. Checking SCADE Models for Correct Usage of Physical Units. In Janusz Górski, editor, Computer Safety, Reliability, and Security, 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings. Volume 4166 of Lecture Notes in Computer Science, pages 358-371, Springer, 2006. [doi]
@inproceedings{SchlickHS06,
title = {Checking SCADE Models for Correct Usage of Physical Units},
author = {Rupert Schlick and Wolfgang Herzner and Thierry Le Sergent},
year = {2006},
doi = {10.1007/11875567_27},
url = {http://dx.doi.org/10.1007/11875567_27},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/SchlickHS06},
cites = {0},
citedby = {0},
pages = {358-371},
booktitle = {Computer Safety, Reliability, and Security, 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
editor = {Janusz Górski},
volume = {4166},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-45762-3},
}