Year of publication
Type of media
Subject
Type of material
TIB reading rooms collection
LUH institutes collection
Synonyms were used for: Formale Methode • Methode
Search without synonyms: keywords:(Formale Methode)
Used synonyms:
- formales verfahren
Used synonyms:
- methoden
- methodik
-
iFM 2023 : 18th international conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023 : proceedings
TIBKAT | 2024|Keywords: Formale Methode -
Certificates for automata in a hostile environment
Free accessTIBKAT | 2024|Keywords: Formale Methode -
Efficient implementation of stream transformations
Free accessTIBKAT | 2024|Keywords: Formale Methode -
Formal analysis of èto-clefts in Russian: syntax and semantics
Free accessTIBKAT | 2023|Keywords: Formale Semantik, Formale Begriffsanalyse, Formale Methode -
A formal framework for correct and secure compilation
Free accessTIBKAT | 2023|Keywords: Formale Methode -
Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, proceedings
TIBKAT | 2023|Keywords: Formale Methode -
Descriptional Complexity of Formal Systems : 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023, proceedings
TIBKAT | 2023|Keywords: Formale Methode -
Formal techniques for distributed objects, components, and systems : 43rd IFIP WG 6.1 international conference, FORTE 2023 : held as part of the 18th international federated conference on distributed computing techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings
TIBKAT | 2023|Keywords: Formale Methode -
Explanation of the Model Checker Verification Results
Free accessTIBKAT | 2023|Keywords: Formale Spezifikationstechnik, Formale Methode -
Efficient Analysis of Population Protocols and Chemical Reaction Networks
Free accessTIBKAT | 2023|Keywords: Formale Methode -
Optimizing Verification of RTL Designs Using Reinforcement Learning Methods
Free accessTIBKAT | 2023|Keywords: Formale Methode -
On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms
Free accessTIBKAT | 2023|Keywords: B-Methode, Formale Methode -
Automated and foundational verification of low-level programs
Free accessTIBKAT | 2023|Keywords: Formale Methode -
Automatic test Case generation for PLC software
Free accessTIBKAT | 2023|Keywords: Formale Methode -
Model-based quality assurance of intrumented context-free systems
Free accessTIBKAT | 2023|Keywords: Formale Methode -
Synthesizing FDIR recovery strategies for space systems
DataCite | 2023|Keywords: FDIR ; reliability engineering ; fault tree analysis ; synthesis ; formal methods ; Zuverlässigkeitstechnik ; Fehlerbaumanalyse ; Synthese ; formale Methoden -
2023 IEEE/ACIS 21st International Conference on Software Engineering Research, Management and Applications (SERA) : 23-25 May 2023
TIBKAT | 2023|Keywords: Formale Methode -
Explanation of the Model Checker Verification Results
Free accessDataCite | 2023|Keywords: formale Methoden -
Formal methods in architecture : proceedings of the 6th international symposium on formal methods in architecture (6FMA), A Coruña 2022
TIBKAT | 2023|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.