- Sprache
-
Englisch
- ISBN
-
0946-011X
- Identifier
-
1068251786
- Reihe
-
Max-Planck-Institut für Informatik : Research report; MPI-2012-RG1-002
- Beteiligte Personen und Organisationen
-
Fietzke, Arnaud
Kruglov, Evgeny
Weidenbach, Christoph
Max-Planck-Institut für Informatik
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:58 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
- Fietzke, Arnaud
- Kruglov, Evgeny
- Weidenbach, Christoph
- Max-Planck-Institut für Informatik
Ähnliche Objekte (12)
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Verification of graph transformation systems with k-inductive invariants
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Schema-guided inductive functional programming through automatic detection of type morphisms
Invariants.
Logic : Inductive
Automatic nonuniform random variate generation
Subsequence invariants
Automatic generation of combinatorial test data
Automatic label generation for airport charts
Automatic Generation of Models of Microarchitectures
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Verification of graph transformation systems with k-inductive invariants
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Schema-guided inductive functional programming through automatic detection of type morphisms
Invariants.
Logic : Inductive
Automatic nonuniform random variate generation
Subsequence invariants
Automatic generation of combinatorial test data
Automatic label generation for airport charts
Automatic Generation of Models of Microarchitectures
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Verification of graph transformation systems with k-inductive invariants
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Schema-guided inductive functional programming through automatic detection of type morphisms
Invariants.
Logic : Inductive
Automatic nonuniform random variate generation
Subsequence invariants
Automatic generation of combinatorial test data
Automatic label generation for airport charts