Annie Ressouche, Jean-Yves Tigli, Valine Roy, Daniel Cheung-Foo-Wo. SAS architecture: verification oriented formal modeling of concrete critical systems. In Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: Washington, D.C., USA, 5-8 October 2003. pages 181-188, IEEE, 2003. [doi]
@inproceedings{RessoucheTRC03,
title = {SAS architecture: verification oriented formal modeling of concrete critical systems},
author = {Annie Ressouche and Jean-Yves Tigli and Valine Roy and Daniel Cheung-Foo-Wo},
year = {2003},
doi = {10.1109/ICSMC.2003.1243812},
url = {http://dx.doi.org/10.1109/ICSMC.2003.1243812},
researchr = {https://researchr.org/publication/RessoucheTRC03},
cites = {0},
citedby = {0},
pages = {181-188},
booktitle = {Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: Washington, D.C., USA, 5-8 October 2003},
publisher = {IEEE},
isbn = {0-7803-7952-7},
}