1 |
![Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach](Cover.cls?type=cover&isbn=9783540328704&size=100) |
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 ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies](Cover.cls?type=cover&isbn=9783319594187&size=100) |
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 Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings](Cover.cls?type=cover&isbn=9783319681672&size=100) |
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 Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II](Cover.cls?type=cover&isbn=9783319633909&size=100) |
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 Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I](Cover.cls?type=cover&isbn=9783319633879&size=100) |
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 Constraint-Based Verification](Cover.cls?type=cover&isbn=9780387307848&size=100) |
Constraint-Based Verification [E-Book]
|
|
2006 |
|
.
|
7 |
![Creating Assertion-Based IP Creating Assertion-Based IP](Cover.cls?type=cover&isbn=9780387683980&size=100) |
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 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](Cover.cls?type=cover&isbn=9783319671130&size=100) |
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 Digitale Hardware/Software-Systeme: Spezifikation und Verifikation](Cover.cls?type=cover&isbn=9783642053566&size=100) |
Digitale Hardware/Software-Systeme: Spezifikation und Verifikation [E-Book]
|
Haubelt, Christian
|
2010 |
|
.
|
10 |
![Functional Verification Coverage Measurement and Analysis Functional Verification Coverage Measurement and Analysis](Cover.cls?type=cover&isbn=9781402080265&size=100) |
Functional Verification Coverage Measurement and Analysis [E-Book]
|
Piziali, Andrew
|
2008 |
|
.
|
11 |
![High-Level-Synthese von Operationseigenschaften High-Level-Synthese von Operationseigenschaften](Cover.cls?type=cover&isbn=9783941003484&size=100) |
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 Industrial Applications of Evolutionary Algorithms](Cover.cls?type=cover&isbn=9783642274671&size=100) |
Industrial Applications of Evolutionary Algorithms [E-Book]
|
Sanchez, Ernesto
|
2012 |
|
.
|
13 |
![Methode zur Abschätzung der Ergebnisqualität von modularen Gesamtfahrzeugsimulationsmodellen Methode zur Abschätzung der Ergebnisqualität von modularen Gesamtfahrzeugsimulationsmodellen](Cover.cls?type=cover&isbn=9783658165475&size=100) |
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 Metric- Driven Design Verification: An Engineer's and Executive's Guide to First Pass Success](Cover.cls?type=cover&isbn=9780387381527&size=100) |
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 Modellbildung und Verifikation von komplexen digitalen Schaltungen in einem Designflow basierend auf VHDL und Synthese](Cover.cls?type=cover&isbn=9783854870784&size=100) |
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 Modellierung verteilter Systeme: Konzeption, formale Spezifikation und Verifikation mit Produktnetzen](Cover.cls?type=cover&isbn=9783528054335&size=100) |
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 Musterbasierte Parallelisierung sequenzieller Anwendungen: Konzept und Implementierung eines Verfahrens zur Softwaretransformation](Cover.cls?type=cover&isbn=9783658150952&size=100) |
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 Negative Identifizierung anhand des Tippverhaltens bei Verwendung fester und freier Textbestandteile](Cover.cls?type=cover&isbn=9783658009670&size=100) |
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 Runtime verification of railway applications with extended live sequence charts](Cover.cls?type=cover&isbn=9783844043334&size=100) |
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 SDL 2017: Model-Driven Engineering for Future Internet: 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings](Cover.cls?type=cover&isbn=9783319680156&size=100) |
SDL 2017: Model-Driven Engineering for Future Internet: 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings [E-Book]
|
|
2017 |
500257503
|
.
|