imagem ilustrativa
Formal modeling and analysis of timed systems
Não Informado
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 2007
- ISBN: 9783540754534
- Formal modeling and analysis of timed systems

Descrição: This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis ... Veja mais