Formal System Verification
-15%
portes grátis
Formal System Verification
State-of the-Art and Future Trends
Drechsler, Rolf
Springer International Publishing AG
08/2018
182
Mole
Inglês
9783319862231
15 a 20 dias
454
Descrição não disponível.
Formal Techniques for Verification and Coverage Analysis of Analog Systems.- Verification of Incomplete Designs.- Probabilistic Model Checking: Advances and Applications.- Software in a Hardware View.- Formal Verification - The Industrial Perspective.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Electronic system level (ESL) verification;Formal verification;Formal verification of hardware and software;Hardware-dependent software;System level verification
Formal Techniques for Verification and Coverage Analysis of Analog Systems.- Verification of Incomplete Designs.- Probabilistic Model Checking: Advances and Applications.- Software in a Hardware View.- Formal Verification - The Industrial Perspective.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
