:quality(100))
imagem ilustrativa
Formal methods for real-time and probabilistic systems
Não Informado
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 1999
- ISBN: 9783540660101
- Formal methods for real-time and probabilistic systems
Descrição: TheaimoftheARTS99workshopistobringtogetherresearchersandpr- titioners interested in the design of real-time and pro... Veja mais