RReal Time and SuchReal Time and Suchde Susanne Graf, Paul Pettersson, Bernhard SteffenEdiciones (1)Real Time and Such (2024)Springer · inglés · ISBN 9783031737503Más obras de Susanne GrafAutomated technology for verification and analysisFormal methods for components and objects
Formal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised Lectures