- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Ulmer Informatik-Berichte ; Nr. 95,14
- Klassifikation
-
Informatik
- Schlagwort
-
Maschinencode
Optimierung
Verifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Ulm
- (wer)
-
Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
- (wann)
-
2010
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:bsz:289-vts-70653
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:49 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
- Dold, Axel
- Henke, Friedrich Wilhelm von
- Pfeifer, Holger
- Rueß, Harald
- Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
Entstanden
- 2010
Ähnliche Objekte (12)
Verifying OPAL, Pt. 1.. Verifying in the small
A Generic Approach to the Formal Specification of Requirements
Verifying binding constraints for anaphor resolution
Verifying high quality: Entry for sale
AMulet 2.0 for Verifying Multiplier Circuits
AMULET 2.0 for verifying multiplier circuits
Using Timed Model Checking for Verifying Workflows
Characteristics for verifying 5G applications in production
Verifying real-time systems
Self-verifying cellular automata
Strategies for selecting and verifying hearing aid fittings
Strategies for selecting and verifying hearing aid fittings
Verifying OPAL, Pt. 1.. Verifying in the small
A Generic Approach to the Formal Specification of Requirements
Verifying binding constraints for anaphor resolution
Verifying high quality: Entry for sale
AMulet 2.0 for Verifying Multiplier Circuits
AMULET 2.0 for verifying multiplier circuits
Using Timed Model Checking for Verifying Workflows
Characteristics for verifying 5G applications in production
Verifying real-time systems
Self-verifying cellular automata
Strategies for selecting and verifying hearing aid fittings
Strategies for selecting and verifying hearing aid fittings
Verifying OPAL, Pt. 1.. Verifying in the small
A Generic Approach to the Formal Specification of Requirements
Verifying binding constraints for anaphor resolution
Verifying high quality: Entry for sale
AMulet 2.0 for Verifying Multiplier Circuits
AMULET 2.0 for verifying multiplier circuits
Using Timed Model Checking for Verifying Workflows
Characteristics for verifying 5G applications in production
Verifying real-time systems
Self-verifying cellular automata
Strategies for selecting and verifying hearing aid fittings