25 Years of Model Checking history, achievements, perspectives /
Na minha lista:
Principais autores: | Grumberg, Orna, Veith, Helmut, SpringerLink (Online service) |
---|---|
Formato: | Digital |
Publicado em: |
|
Assuntos: | |
Endereço do item: | http://dx.doi.org/10.1007/978-3-540-69850-0 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Model checking /
por: Clarke, E. M.,, et al.
Publicado em: (2022) -
Analytical and stochastic modeling techniques and applications
por: Al-Begain, Khalid, et al.
Publicado em: (2022) -
Verification, Model Checking, and Abstract Interpretation
por: Logozzo, Francesco, et al.
Publicado em: (2022) -
Unfoldings A Partial-Order Approach to Model Checking /
por: Esparza, Javier., et al.
Publicado em: (2022) -
Raciocinio lógico-matemático: teoria e aplicação/
por: Padilha, Josimar
Publicado em: (2023)