Year of publication
Type of material
Licence
Language
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 -
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 -
Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, proceedings
TIBKAT | 2023|Keywords: Formale Methode -
2023 IEEE/ACIS 21st International Conference on Software Engineering Research, Management and Applications (SERA) : 23-25 May 2023
TIBKAT | 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 -
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 -
Theoretical aspects of software engineering : 17th international symposium, TASE 2023, Bristol, UK, July 4-6, 2023 : proceedings
TIBKAT | 2023|Keywords: Formale Methode -
Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern
DeGruyter | 2023|Keywords: Formale Verifikation, Methoden -
Register-Transfer-Ebene Korrespondenzanalyse
Springer Verlag | 2023|Keywords: Formale Methoden, Formale Spezifikation -
Verifizierung von eingebetteten Software-Binärdateien mit Hilfe virtueller Prototypen
Springer Verlag | 2023|Keywords: Formale Methoden -
Acts of Commanding and Promising in Dynamified Common Sense Term-Sequence-Deontic-Alethic Logic
TIBKAT | 2023|Keywords: Formale Methode -
Incompleteness and (not-)at-issue Updates in Mandarin Chinese
TIBKAT | 2023|Keywords: Formale Methode -
Another Look at Chinese Donkey Sentences: A Reply to Cheng and Huang (2020)
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.