formal techniques, modelling and analysis of timed and fault-tolerant systems: joint international conferences on formal modeling and analysis of time
lakhnech, yassine
formal techniques, modelling and analysis of timed and fault-tolerant systems: joint international conferences on formal modeling and analysis of time
Lakhnech, Yassine (Autor) · springer · Libro Físico
Sin Stockformal techniques, modelling and analysis of timed and fault-tolerant systems: joint international conferences on formal modeling and analysis of time
lakhnech, yassine
¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.
