GMM-Fb. 96: MBMV 2020 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen |
Edizione | [Neuerscheinung] |
Pubbl/distr/stampa | Berlin, : VDE Verlag, 2020 |
Descrizione fisica | Online-Ressource (109 S.) |
Collana | GMM-Fachberichte |
Soggetto non controllato |
Optimierung
Modellierung Simulation Echtzeitsysteme Synthese Schaltungen und Systeme Formale Verifikation |
ISBN | 3-8007-5221-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNISA-996577834003316 |
Berlin, : VDE Verlag, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
GMM-Fb. 96: MBMV 2020 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen |
Edizione | [Neuerscheinung] |
Pubbl/distr/stampa | Berlin, : VDE Verlag, 2020 |
Descrizione fisica | Online-Ressource (109 S.) |
Collana | GMM-Fachberichte |
Soggetto non controllato |
Optimierung
Modellierung Simulation Echtzeitsysteme Synthese Schaltungen und Systeme Formale Verifikation |
ISBN | 3-8007-5221-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNINA-9910874468203321 |
Berlin, : VDE Verlag, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|