Contacto
Como comprar
Entrega
Guia de compras
ITG-Fb. 309: MBMV 2023, CD-ROM
Methoden und Beschreibungssprachen zur Modellierung undVerifikation von Schaltungen und Systemen, 26. Workshop, 23. - 24. März2023 in Freiburg
Inglês
167 b
Até 30 dias para devoluções
Os clientes também compraram
/
Capa mole
19.28
€
/
Capa mole
28.27
€
/
Capa mole
18.37
€
/
Capa mole
72.11
€
Der 26. Workshop der VDE ITG, VDE/VDI GMM, und GI-Fachgruppen FG3 und FG4 "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" ist ein Forum zu neuen Trends, Ergebnissen und aktuellen Fragen auf dem Gebiet der Modellierung.Diskussionsbeiträge zu folgenden Themen sind im Blickpunkt:- Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung- Standards und Erweiterungen von Modellierungssprachen für Hardware oder HW/SW-Systeme- Modelle und Methoden für die domänenübergreifende Entwicklung: analog-digital, cyber-physisch, HW/SW- Verhaltensmodellierung, KI-basierte Modelle- Modellbasierte Entwicklung- Synthese und formale Synthese, Eigenschaftsverfeinerung aus Spezifikationen- Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise)- Schaltungen und Systeme in sicherheitsrelevanten Produkten- Verifikation nichtfunktionaler Eigenschaften- Simulationsbasierte Verifikation und Validierung- Digitalisierung der Entwicklung z.B. durch Machine Learning oder Datenanalyse
Sobre o livro
Inglês
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Capa mole
51.10
€
/
Capa mole
20.90
€
/
Capa mole
7.26
€
/
Capa mole
9.79
€
/
Capa mole
15.24
€
/
Capa mole
59.89
€
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?