Rigorous System Designde Joseph SifakisMateriasComputer input-output equipmentComputer softwareEdiciones (1)Rigorous System Design (2013)Now Publishers Inc · ISBN 9781601986603Más obras de Joseph SifakisEmbedded systems designAutomatic verification methods for finite state systemsEEmbedded SoftwareEmbedded Software