Formal modeling and analysis of timed systems

Não Informado

Salvar edição
  • Editora: Springer Nature B.V.
  • Ano: 2007
  • ISBN: 9783540754534
  • Formal modeling and analysis of timed systems
Ler sinopse completa
Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Não informado | 2007

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

Veja as outras undefined ofertas de novos deste livro: