Designing Safe, Reliable Systems Using Scade.

Parosh Aziz Abdulla, Johann Deneux, Gunnar Stlmarck, Herman gren, Ove kerlund

Browse the full ISoLA paper archive.