Mostrando 1 - 2 Resultados de 2 Para Buscar 'Ölveczky, Peter Csaba.', tiempo de consulta: 0.01s Limitar resultados
1
Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude /
por Ölveczky, Peter Csaba.
Publicado 2017
eBook
2
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers /
Publicado 2017
Otros Autores: “...Ölveczky, Peter Csaba....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda