Year of publication
Type of media
Source
Subject
Type of material
Licence
Language
Synonyms were used for: Formale Methode • Methode
Search without synonyms: keywords:(Formale Methode)
Used synonyms:
- formales verfahren
Used synonyms:
- methoden
- methodik
Did you mean: keywords:(formal method) • keywords:(formal methods)
-
PROFORMA - Analyse der PROpagation von Fehlern durch FORMAle Methoden : Schlussbericht : BMBF-Projekt im Rahmen der BMBF-Förderinitiative KMU-innovativ (Informations- und Kommunikationstechnologie) : Laufzeit des Vorhabens: 1. Februar 2018-31. Januar 2020
Free accessTIBKAT | 2020|Keywords: Formale Methode -
A combined formal model for relational context-dependent roles (extended)
TIBKAT | 2015|Keywords: Formale Methode -
Semantic integration of heterogenous processes : Vorhaben SHIP ; Abschlussbericht ; Bewilligungszeitraum: 1.1.2011 - 31.12.2013
TIBKAT | 2014|Keywords: Formale Methode -
Semantic integration of heterogenous processes : Vorhaben SHIP ; Abschlussbericht ; Bewilligungszeitraum: 1.1.2011 - 31.12.2013
Free accessTIBKAT | 2014|Keywords: Formale Methode -
Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever
TIBKAT | 2010|Keywords: Formale Methode -
Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
TIBKAT | 2010|Keywords: Formale Methode -
Secure transaction protocol analysis : models and applications
TIBKAT | 2008|Keywords: Formale Methode -
Verification of object-oriented software: The KeY approach
TIBKAT | 2007|Keywords: Formale Methode -
Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring and execution-based model checking
TIBKAT | 2006|Keywords: Formale Methode -
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
TIBKAT | 2005|Keywords: Formale Methode -
Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
TIBKAT | 2005|Keywords: Formale Methode
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.