Joseph Sifakis · 6 obras en el catálogoObrasEmbedded systems designAutomatic verification methods for finite state systemsRigorous System DesignEEmbedded SoftwareEmbedded SoftwareUUnderstanding and Changing the WorldUnderstanding and Changing the WorldAutomatic Verification Methods for Finite State Systems
