Prof. Joseph Sifakis (EPFL, Switzerland)

Rigorous System Design in BIP - Part 2

ntass 2012

Click on a slide to jump to that slide. Scroll to see all the slide thumbnails.