Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
zur Desktop-Version
Toggle navigation
Seligman, Erik
37
Ergebnisse:
Personensuche
X
Format
Online (37)
Medientypen
E-Books (6)
Artikel (Online) (4)
Buchkapitel (Online) (24)
OpenAccess-Volltexte (3)
Sortierung: Relevanz
Sortierung: Jahr
?
1
Formal verification: an essential toolkit for modern VLSI d..:
Seligman, Erik
;
Schubert, E. Thomas
;
Kumar, M. V. Achutha Kiran
- Second edition . , 2023
Link:
https://www.sciencedirec..
?
2
Formal verification: an essential toolkit for modern VLSI d..:
Seligman, Erik
;
Schubert, E. Thomas
;
Kumar, M. V. Achutha Kiran
- Second edition. . , 2023
Link:
https://www.sciencedirec..
?
3
Effective formal property verification for design exercise:
, In:
Formal Verification
,
Seligman, Erik
;
Schubert, Tom
;
Kumar, M V Achutha Kiran
- p. 123-157 , 2023
Link:
https://doi.org/10.1016/..
?
4
Effective FPV for verification:
, In:
Formal Verification
,
Seligman, Erik
;
Schubert, Tom
;
Kumar, M V Achutha Kiran
- p. 159-197 , 2023
Link:
https://doi.org/10.1016/..
?
5
Formal verification's greatest bloopers: the danger of fals..:
, In:
Formal Verification
,
Seligman, Erik
;
Schubert, Tom
;
Kumar, M V Achutha Kiran
- p. 279-307 , 2023
Link:
https://doi.org/10.1016/..
?
6
Dealing with complexity:
, In:
Formal Verification
,
Seligman, Erik
;
Schubert, Tom
;
Kumar, M V Achutha Kiran
- p. 309-350 , 2023
Link:
https://doi.org/10.1016/..
?
7
Basic formal verification algorithms:
, In:
Formal Verification
,
Seligman, Erik
;
Schubert, Tom
;
Kumar, M V Achutha Kiran
- p. 25-49 , 2023
Link:
https://doi.org/10.1016/..
?
8
Formal verification: from dreams to reality:
, In:
Formal Verification
,
Seligman, Erik
;
Schubert, Tom
;
Kumar, M V Achutha Kiran
- p. 1-23 , 2023
Link:
https://doi.org/10.1016/..
?
9
Formal equivalence verification:
, In:
Formal Verification
,
Seligman, Erik
;
Schubert, Tom
;
Kumar, M V Achutha Kiran
- p. 239-277 , 2023
Link:
https://doi.org/10.1016/..
?
10
Introduction to SystemVerilog Assertions:
, In:
Formal Verification
,
Seligman, Erik
;
Schubert, Tom
;
Kumar, M V Achutha Kiran
- p. 51-90 , 2023
Link:
https://doi.org/10.1016/..
?
11
Formal signoff on real projects:
, In:
Formal Verification
,
Seligman, Erik
;
Schubert, Tom
;
Kumar, M V Achutha Kiran
- p. 351-369 , 2023
Link:
https://doi.org/10.1016/..
?
12
Your new FV-aware lifestyle:
, In:
Formal Verification
,
Seligman, Erik
;
Schubert, Tom
;
Kumar, M V Achutha Kiran
- p. 371-393 , 2023
Link:
https://doi.org/10.1016/..
?
13
Formal property verification:
, In:
Formal Verification
,
Seligman, Erik
;
Schubert, Tom
;
Kumar, M V Achutha Kiran
- p. 91-122 , 2023
Link:
https://doi.org/10.1016/..
?
14
Formal property verification apps for specific problems:
, In:
Formal Verification
,
Seligman, Erik
;
Schubert, Tom
;
Kumar, M V Achutha Kiran
- p. 199-238 , 2023
Link:
https://doi.org/10.1016/..
?
15
Math mutation classics: exploring interesting, fun and weir..:
Seligman, Erik
, 2016
Link:
https://learning.oreilly..
1-15