Kod: 45240694
Der 27. Workshop der GMM, ITG 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 d ... więcej
537.13 zł
Zwykle: 537.17 zł
Oszczędzasz 0.04 zł
Potrzebujesz więcej egzemplarzy?Jeżeli jesteś zainteresowany zakupem większej ilości egzemplarzy, skontaktuj się z nami, aby sprawdzić ich dostępność.
Za ten zakup dostaniesz 313 punkty
Der 27. Workshop der GMM, ITG 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
Kategoria Książki po angielsku Technology, engineering, agriculture Electronics & communications engineering Electronics engineering
537.13 zł
Od roku 2008 obsłużyliśmy wielu miłośników książek, ale dla nas każdy był tym wyjątkowym.
Copyright! ©2008-24 libristo.pl Wszelkie prawa zastrzeżonePrywatnieCookies
Dobre na wszystkich stronach
Koszyk ( pusty )