- Sprache
-
Englisch
- Identifier
-
1026736390
- Reihe
-
SEKI Report; 96,13
- Beteiligte Personen und Organisationen
-
Melis, Erica
Sengler, Claus
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 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.
Objekttyp
- Monografie
Beteiligte
- Melis, Erica
- Sengler, Claus
Ähnliche Objekte (12)
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Automatic generation of specifications using verification tools
Automated verification of system requirements and software specifications
Supporting Validation and Verification of State-Based Formal Models
Causality-based verification
Explicit state space verification
Paying Attention to Payoffs in Analogy-Based Learning
Analogy-based expectations and the partially cursed equilibrium
The construction of analogy-based research programs : the lock-and-key analogy in 20th century biochemistry
Performance-based specifications for concrete : proceedings
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Automatic generation of specifications using verification tools
Automated verification of system requirements and software specifications
Supporting Validation and Verification of State-Based Formal Models
Causality-based verification
Explicit state space verification
Paying Attention to Payoffs in Analogy-Based Learning
Analogy-based expectations and the partially cursed equilibrium
The construction of analogy-based research programs : the lock-and-key analogy in 20th century biochemistry
Performance-based specifications for concrete : proceedings
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Automatic generation of specifications using verification tools
Automated verification of system requirements and software specifications
Supporting Validation and Verification of State-Based Formal Models
Causality-based verification
Explicit state space verification
Paying Attention to Payoffs in Analogy-Based Learning
Analogy-based expectations and the partially cursed equilibrium
The construction of analogy-based research programs : the lock-and-key analogy in 20th century biochemistry