Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/smc/RessoucheTRC03
AU - Ressouche, Annie
AU - Tigli, Jean-Yves
AU - Roy, Valine
AU - Cheung-Foo-Wo, Daniel
TI - SAS architecture: verification oriented formal modeling of concrete critical systems.
BT - Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: Washington, D.C., USA, 5-8 October 2003
SP - 181
EP - 188
PY - 2003//
DO - 10.1109/ICSMC.2003.1243812
UR - https://doi.org/10.1109/ICSMC.2003.1243812
ER -
