Oppenheimer / Medina Pasaje Languages, Design Methods, and Tools for Electronic System Design
1. Auflage 2016
ISBN: 978-3-319-24457-0
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Selected Contributions from FDL 2014
E-Book, Englisch, 205 Seiten
Reihe: Engineering
ISBN: 978-3-319-24457-0
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Formal Models & Verification & Predictability.- Languages for Requirements.- Parallel Architectures.- Modelling and Verification of power properties.




