Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet. An ADL Centric Approach for the Formal Design of Real-Time Systems. In Pierre Dissaux, Mamoun Filali-Amine, Pierre Michel, François Vernadat, editors, Architecture Description Languages - IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France. Volume 176 of IFIP, pages 67-82, Springer, 2004. [doi]
@inproceedings{FaucouDT04,
title = {An ADL Centric Approach for the Formal Design of Real-Time Systems},
author = {Sébastien Faucou and Anne-Marie Déplanche and Yvon Trinquet},
year = {2004},
doi = {10.1007/0-387-24590-1_5},
url = {http://dx.doi.org/10.1007/0-387-24590-1_5},
researchr = {https://researchr.org/publication/FaucouDT04},
cites = {0},
citedby = {0},
pages = {67-82},
booktitle = {Architecture Description Languages - IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France},
editor = {Pierre Dissaux and Mamoun Filali-Amine and Pierre Michel and François Vernadat},
volume = {176},
series = {IFIP},
publisher = {Springer},
isbn = {978-0-387-24589-8},
}