Languages, Design Methods, and Tools for Electronic System Design
-15%
portes grátis
Languages, Design Methods, and Tools for Electronic System Design
Selected Contributions from FDL 2014
Medina Pasaje, Julio Luis; Oppenheimer, Frank
Springer International Publishing AG
03/2019
205
Mole
Inglês
9783319796314
15 a 20 dias
454
Descrição não disponível.
Formal Models & Verification & Predictability.- Languages for Requirements.- Parallel Architectures.- Modelling and Verification of power properties.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Automatic Synthesis;Design Specification Languages;Design Verification;Embedded Systems;FDL 2014;Mechanized Debugging;Rapid Prototyping
Formal Models & Verification & Predictability.- Languages for Requirements.- Parallel Architectures.- Modelling and Verification of power properties.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
