- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Schlagwort
-
Systementwurf
- Ereignis
-
Veröffentlichung
- (wo)
-
Ulm
- (wer)
-
Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
- (wann)
-
2013
- Urheber
-
Canver, Ercüment
- URN
-
urn:nbn:de:bsz:289-vts-85228
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:46 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Canver, Ercüment
- Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
Entstanden
- 2013
Ähnliche Objekte (12)
Formal verification of pipelined microprocessors
Formal Verification in Automated Manufacturing
Formal verification of recursive predicates
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal verification for ALICA plans
Towards cooperative software verification with test generation and formal verification
Polynomial formal verification of approximate functions
Formal verification of cryptographic security proofs
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Slicing integrated formal specifications for verification
Formal verification of pipelined microprocessors
Formal Verification in Automated Manufacturing
Formal verification of recursive predicates
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal verification for ALICA plans
Towards cooperative software verification with test generation and formal verification
Polynomial formal verification of approximate functions
Formal verification of cryptographic security proofs
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Slicing integrated formal specifications for verification
Formal verification of pipelined microprocessors
Formal Verification in Automated Manufacturing
Formal verification of recursive predicates
Formal verification of pipelined microprocessors
Formal verification in automated manufacturing
Formal verification for ALICA plans
Towards cooperative software verification with test generation and formal verification
Polynomial formal verification of approximate functions
Formal verification of cryptographic security proofs
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software