Designing Safe, Reliable Systems using Scade.

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

Browse the full ISoLA paper archive.