- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: SEFM 2016: Software Engineering and Formal Methods
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Technische Universität Berlin
- (wann)
-
2020
- Urheber
-
Jähnig, Nils
Göthel, Thomas
Glesner, Sabine
- DOI
-
10.14279/depositonce-9792
- Handle
-
11303/10899
- URN
-
urn:nbn:de:101:1-2020031101001925130578
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:42 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
- Jähnig, Nils
- Göthel, Thomas
- Glesner, Sabine
- Technische Universität Berlin
Entstanden
- 2020
Ähnliche Objekte (12)
Adaptive refinement for unstructured T-splines with linear complexity
Communicating rational agents: semantics and verification
Formal verification of low-level code in a model-based refinement process
Refinement and separation: modular verification of wandering trees
Improving Neural Network Verification through Spurious Region Guided Refinement
Effective Approaches to Abstraction Refinement for Automatic Software Verification
Formal Verification of Low-Level Code in a Model-Based Refinement Process (Technical Report: Isabelle/HOL formalization)
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Vectorization system for unstructured codes with a Data-parallel Compiler IR
Adaptive refinement for unstructured T-splines with linear complexity
Communicating rational agents: semantics and verification
Formal verification of low-level code in a model-based refinement process
Refinement and separation: modular verification of wandering trees
Improving Neural Network Verification through Spurious Region Guided Refinement
Effective Approaches to Abstraction Refinement for Automatic Software Verification
Formal Verification of Low-Level Code in a Model-Based Refinement Process (Technical Report: Isabelle/HOL formalization)
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems
Vectorization system for unstructured codes with a Data-parallel Compiler IR
Adaptive refinement for unstructured T-splines with linear complexity
Communicating rational agents: semantics and verification
Formal verification of low-level code in a model-based refinement process
Refinement and separation: modular verification of wandering trees
Improving Neural Network Verification through Spurious Region Guided Refinement
Effective Approaches to Abstraction Refinement for Automatic Software Verification
Formal Verification of Low-Level Code in a Model-Based Refinement Process (Technical Report: Isabelle/HOL formalization)
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement
Abstraction and abstraction refinement in the verification of graph transformation systems
Abstraction and abstraction refinement in the verification of graph transformation systems