Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP.

Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis

Browse the full ISoLA paper archive.