Parosh Aziz Abdulla, Johan Deneaux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund. Designing Safe, Reliable Systems using Scade. In Tiziana Margaria, Bernhard Steffen, Anna Philippou, Manfred Reitenspieß, editors, International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings. Volume TR-2004-6 of Technical Report, pages 111-118, Department of Computer Science, University of Cyprus, 2004.
@inproceedings{AbdullaDSAA04a,
title = {Designing Safe, Reliable Systems using Scade},
author = {Parosh Aziz Abdulla and Johan Deneaux and Gunnar Stålmarck and Herman Ågren and Ove Åkerlund},
year = {2004},
researchr = {https://researchr.org/publication/AbdullaDSAA04a},
cites = {0},
citedby = {0},
pages = {111-118},
booktitle = {International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings},
editor = {Tiziana Margaria and Bernhard Steffen and Anna Philippou and Manfred Reitenspieß},
volume = {TR-2004-6},
series = {Technical Report},
publisher = {Department of Computer Science, University of Cyprus},
}