|
1 |
 |
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach [E-Book]
|
|
2006 |
|
.
|
|
2 |
 |
ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies [E-Book]
|
Mehta, Ashok B.
|
2018 |
|
.
|
|
3 |
 |
Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings [E-Book]
|
|
2017 |
 500258149
|
.
|
|
4 |
 |
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II [E-Book]
|
|
2017 |
500255520
|
.
|
|
5 |
 |
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I [E-Book]
|
|
2017 |
500255521
|
.
|
|
6 |
 |
Constraint-Based Verification [E-Book]
|
|
2006 |
|
.
|
|
7 |
 |
Creating Assertion-Based IP [E-Book]
|
|
2008 |
|
.
|
|
8 |
 |
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings [E-Book]
|
|
2017 |
500257469
|
.
|
|
9 |
 |
Digitale Hardware/Software-Systeme: Spezifikation und Verifikation [E-Book]
|
Haubelt, Christian
|
2010 |
|
.
|
|
10 |
 |
Functional Verification Coverage Measurement and Analysis [E-Book]
|
Piziali, Andrew
|
2008 |
|
.
|
|
11 |
 |
High-Level-Synthese von Operationseigenschaften [Buch]
|
Langer, Jan
|
2011 |
|
Regalstandort: ZN 4110 L276.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
12 |
 |
Industrial Applications of Evolutionary Algorithms [E-Book]
|
Sanchez, Ernesto
|
2012 |
|
.
|
|
13 |
 |
Methode zur Abschätzung der Ergebnisqualität von modularen Gesamtfahrzeugsimulationsmodellen [E-Book]
|
Krausz, Mark
|
2017 |
|
.
|
|
14 |
 |
Metric- Driven Design Verification: An Engineer's and Executive's Guide to First Pass Success [E-Book]
|
|
2007 |
|
.
|
|
15 |
 |
Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese [Hochschulschriften]
|
Schutti, Markus
|
1999 |
500061277
|
Regalstandort: ZN 5630 S396.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
16 |
 |
Modellierung verteilter Systeme: Konzeption, formale Spezifikation und Verifikation mit Produktnetzen [Buch]
|
Ochsenschläger, Peter
|
1995 |
|
Regalstandort: ST 200 O16.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
17 |
 |
Musterbasierte Parallelisierung sequenzieller Anwendungen: Konzept und Implementierung eines Verfahrens zur Softwaretransformation [E-Book]
|
Molitorisz, Korbinian
|
2016 |
|
.
|
|
18 |
 |
Negative Identifizierung anhand des Tippverhaltens bei Verwendung fester und freier Textbestandteile [E-Book]
|
Erdenreich, Sebastian
|
2013 |
|
.
|
|
19 |
 |
Runtime verification of railway applications with extended live sequence charts [Buch]
|
Chai, Ming
|
2016 |
|
Regalstandort: ST 233 C434.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
20 |
 |
SDL 2017: Model-Driven Engineering for Future Internet: 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings [E-Book]
|
|
2017 |
500257503
|
.
|
