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
-
Software procurement and methods for specification and validation in the railway transportation industry
Tema Archive | 2002|Keywords: formales Verfahren -
Requirements reasoning for distributed requirements analysis using semantic Wiki
Tema Archive | 2009|Keywords: formale Spezifikation, formale Verifikation, formales Verfahren -
The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems
Tema Archive | 2010|Keywords: formale Spezifikation, formales Verfahren -
Adaptive Model Learning for Continual Verification of Non-Functional Properties
Tema Archive | 2014|Keywords: formales Verfahren -
Security policy management for networked information systems
Tema Archive | 2000|Keywords: formale Spezifikation, formales Verfahren -
Using heuristic search for finding deadlocks in concurrent systems
Tema Archive | 2005|Keywords: formale Verifikation, formales Verfahren -
Formal methods of program verification and specification
Tema Archive | 1982|Keywords: FORMALES VERFAHREN -
Formal techniques for automatically generating marshalling code from high-level specifications
Tema Archive | 1999|Keywords: formale Spezifikation, formales Verfahren -
A fuzzy Petri net tool for modeling and verification of knowledge-based systems
Tema Archive | 2000|Keywords: formales Verfahren -
An interval logic for real-time system specification
Tema Archive | 2001|Keywords: formale Spezifikation, formales Verfahren -
Adapting to Different Types of Target Audience in Teaching Formal Methods
TIBKAT | 2021|Keywords: Formale Methode -
iFM 2023 : 18th international conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023 : proceedings
TIBKAT | 2024|Keywords: Formale Methode -
Teaching Formal Methods in Academia: A Systematic Literature Review
TIBKAT | 2021|Keywords: Formale Methode -
Telling better stories: strengthening the story in story and simulation
Tema Archive | 2012|Keywords: formales Verfahren
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.