Skip to content

Methods and tools for component-based system design.

Joseph Sifakis

VenueADATE
Year2011
ProceedingsDATE

Browse the full DATE paper archive.