Synchronous Equivalence: Formal Methods for Embedded Systems
Harry Hsieh, Felice Balarin, Alberto L. Sangiovanni-Vincenglishtelli
Springer
2012
136 páginas
4h 32m
ISBN-13: 9781461356646
Estatísticas
Avaliações
0 / 0- 5 estrelas0%
- 4 estrelas0%
- 3 estrelas0%
- 2 estrelas0%
- 1 estrelas0%