Manuel RodrÃguez, Arnaud Albinet, Jean Arlat. MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems. In 2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings. pages 267-272, IEEE Computer Society, 2002. [doi]
@inproceedings{RodriguezAA02,
title = {MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems},
author = {Manuel RodrÃguez and Arnaud Albinet and Jean Arlat},
year = {2002},
url = {http://computer.org/proceedings/dsn/1597/15970267abs.htm},
researchr = {https://researchr.org/publication/RodriguezAA02},
cites = {0},
citedby = {0},
pages = {267-272},
booktitle = {2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings},
publisher = {IEEE Computer Society},
isbn = {0-7695-1597-5},
}