New methods of concurrent checking
New Methods of Concurrent Checking is the ultimate reference to answer the question as to how the best possible state-of-the-art error detection circuits can be designed. The most effective methods of concurrent checking for digital circuits are comprehensively described which were developed in the...
Guardado en:
| Autores principales: | Goessel, Michael, 19..-, Marienfield, Daniel, 19..- (Autor), Ocheretny, Vitaly, 19..- (Autor), Sogomonyan, Egor, 19..- (Autor) |
|---|---|
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
Dordrecht :
Springer Netherlands
[20..].
Cham : Springer Nature |
| Colección: | Frontiers In Electronic Testing
42 |
| Acceso en línea: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • New methods of concurrent checking, by Michael Goessel, ..., Vitaly Ocheretny, ..., Egor Sogomonyan, ... and Daniel Marienfield, [Lieu de publication inconnu], Springer, 2008, 1 vol. (viii-181 p.), Frontiers in electronic testing, 978-1-4020-8419-5 |
Ejemplares similares
-
Symbolic Model Checking
(Livre numérique)
McMillan, Kenneth L., 19..- -
Principles of model checking
(Livre papier)
Baier, Christel, 19..-, et al.
MIT Press, 2008 -
Fact-checking vs fake news : vérifier pour mieux informer
(Livre papier)
Bigot, Laurent, 1975-...., journaliste
INA, 2019 -
Symbolic model checking
(Livre papier)
McMillan, Kenneth L.
Kluwer Academic, 1993 -
Checking IDs in The Tempest
(Article ou chapitre numérique)
Raman, Shankar
Recherches anglaises et nord-américaines, 2024

