imagem ilustrativa
Formal methods for the design of real-time systems
Não Informado
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 2004
- ISBN: 9783540230687
- Formal methods for the design of real-time systems

Descrição: A large class of computing systems can be speci?ed and veri?ed by abstracting away from the temporal aspects of the... Veja mais