Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach.

J. Christian Attiogb

Browse the full ISoLA paper archive.