Next Generation Design and Verification Methodologies for Distributed Embedded Control Systemsde S. RameshMateriasSystems engineeringEngineeringComputer simulationComputer scienceSoftware engineeringAutomatic controlReal-time controlEmbedded computer systemsEdiciones (2)Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (2010)