| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910148900603321 |
|
|
Autore |
Rennison Louise <1951-2016> |
|
|
Titolo |
It's OK, I'm Wearing Really Big Knickers! : Fabulously Funny! |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Musica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
READ BY LOUISE RENNISON. Brilliantly funny, teenage angst author Louise Rennison's second audiobook about the confessions of crazy but lovable Georgia Nicolson.What is the matter with my life? Why is it so deeply unfab?It's a day and a half now since I snogged the Sex God...I think I have snog withdrawal. My lips keep puckering up...I tried snogging the back of my hand, but it's no good...It's been over a week. I wonder if it's my nose...I have a HUGE nose that means I have to live for ever in the Ugly Home. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910873843003321 |
|
|
Titolo |
ITG-Fb. 296: MBMV 2021 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, : VDE Verlag, 2021 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[Neuerscheinung] |
|
|
|
|
|
Descrizione fisica |
|
Online-Ressource (139 S.) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Soggetti |
|
Optimierung |
Modellierung |
Simulation |
Machine Learning |
Echtzeitsysteme |
Synthese |
Schaltungen und Systeme |
Formale Verifikation |
KI-basierte Modelle |
Modellierungssprache |
Verhaltensmodellierung |
sicherheitsrelevante Produkte |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
PublicationDate: 20210325 |
|
|
|
|
|
|
Sommario/riassunto |
|
Long description: Der 24. Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 ist ein Forum, um neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und Verifikation von Schaltungen und Systemen zu diskutieren. Es sind gleichermaßen Beiträge aus Forschung und industrieller Anwendung willkommen. Inhaltlich konzentriert sich der Workshop auf die folgenden Themengebiete im Kontext der Modellierung und Verifikation von Systemen: • Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung • Standards und Erweiterungen von Modellierungssprachen für Hardware, |
|
|
|
|
|
|
|
|
|
|
Hardware/Software-Systeme, Modellbasierte Entwicklung • Verhaltensmodellierung, KI-basierte Modelle, Modellverfeinerung • Modelle und Methoden für die domänenübergreifende Entwicklung: Analog/Digital, Hardware/Software, Mechatronik, Cyber/Physisch • 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 • Special Focus Topic MBMV2021: Open Source Werkzeuge zur Modellierung und Verifikation von Schaltungen und Systemen |
|
|
|
|
|
| |