Voltar
Capítulo de livro Revisado por pares
BIBTEX RIS

Towards the UML-Based Formal Verification of Timed Systems

2011; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-642-25271-6_14

ISSN

1611-3349

Autores

Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi,

Tópico(s)

Advanced Software Engineering Methodologies

Referência(s)