Instantiating uninterepreted functional units and memory system : functional verification of the VAMP
- Standort
-
München, Bibliothek der Technischen Universität -- 0102/DAT 001z 2001 A 999-2860#S.51-65
- Umfang
-
1 Online-Ressource (S. [51] - 65)
- Sprache
-
Englisch
- Anmerkungen
-
Ill.
In: Correct hardware design and verification methods. - Berlin [u.a.] : Springer, 2003
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin [u.a.]
- (wer)
-
Springer
- (wann)
-
2003
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:bvb:12-bsb00059533-0
- Letzte Aktualisierung
-
16.04.2025, 08:38 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Bayerische Staatsbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Bayerische Staatsbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Beyer, Sven
- Paul, Wolfgang J.
- Springer
Entstanden
- 2003
Ähnliche Objekte (12)
Complete Functional Verification
Formal verification of a processor with memory management units
Putting it all together : formal verification of the VAMP
Putting it all together : formal verification of the VAMP
Cranioencephalic functional lymphoid units in glioblastoma
Cranioencephalic functional lymphoid units in glioblastoma
Verification of second-order functional programs
Hierarchically assembled helicates as functional supramolecular units
Replicons: functional elementary units of genome architecture
Mechanized verification of imperative and functional programs
Functional verification of computationally predicted qnr genes
Vivat Vamp!
Complete Functional Verification
Formal verification of a processor with memory management units
Putting it all together : formal verification of the VAMP
Putting it all together : formal verification of the VAMP
Cranioencephalic functional lymphoid units in glioblastoma
Cranioencephalic functional lymphoid units in glioblastoma
Verification of second-order functional programs
Hierarchically assembled helicates as functional supramolecular units
Replicons: functional elementary units of genome architecture
Mechanized verification of imperative and functional programs
Functional verification of computationally predicted qnr genes
Vivat Vamp!
Complete Functional Verification
Formal verification of a processor with memory management units
Putting it all together : formal verification of the VAMP
Putting it all together : formal verification of the VAMP
Cranioencephalic functional lymphoid units in glioblastoma
Cranioencephalic functional lymphoid units in glioblastoma
Verification of second-order functional programs
Hierarchically assembled helicates as functional supramolecular units
Replicons: functional elementary units of genome architecture
Mechanized verification of imperative and functional programs
Functional verification of computationally predicted qnr genes