Temporal verification of reactive systems : safety /
Na minha lista:
Principais autores: | Manna, Zohar., Pnueli, A. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/88390 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Computer aided verification /
por: Alur, Rajeev,, et al.
Publicado em: (2022) -
Systems and software verification : model-checking techniques and tools /
por: Bérard, Béatrice et al.
Publicado em: (2022) -
Computer aided verification /
por: Grumberg, Orna, et al.
Publicado em: (2022) -
Computer aided verification /
por: Wolper, Pierre., et al.
Publicado em: (2022) -
The foundations of program verification /
por: Loeckx, Jacques,, et al.
Publicado em: (2023)