Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems.

Yamine At Ameur, Frdric Boniol, Dominique Mry, Virginie Wiels

Browse the full ISoLA paper archive.