Year of publication
Type of material
Licence
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 -
iFM 2023 : 18th international conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023 : proceedings
TIBKAT | 2024|Keywords: Formale Methode -
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper
TIBKAT | 2021|Keywords: Formale Methode -
From Stories to Concurrency: How Children Can Play with Formal Methods
TIBKAT | 2021|Keywords: Formale Methode -
Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata
TIBKAT | 2020|Keywords: Formale Methode -
Software Defect-Proneness Prediction with Package Cohesion and Coupling Metrics Based on Complex Network Theory
TIBKAT | 2020|Keywords: Formale Methode -
Formal methods - fun for everybody : first interntaional workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 : revised selected papers
TIBKAT | 2021|Keywords: Formale Methode -
Adapting to Different Types of Target Audience in Teaching Formal Methods
TIBKAT | 2021|Keywords: Formale Methode -
Symbolic Verification of MPI Programs with Non-deterministic Synchronizations
TIBKAT | 2020|Keywords: Formale Methode -
Modelling and Implementation of Unmanned Aircraft Collision Avoidance
TIBKAT | 2020|Keywords: Formale Methode -
Learning Safe Neural Network Controllers with Barrier Certificates
TIBKAT | 2020|Keywords: Formale Methode -
Dependable software engineering : theories, tools, and applications : 6th international symposium, SETTA 2020 Guangzhou, China, November 24-27, 2020 : proceedings
TIBKAT | 2020|Keywords: Formale Methode -
Teaching Formal Methods in Academia: A Systematic Literature Review
TIBKAT | 2021|Keywords: Formale Methode -
Managing conflicts in goal-driven requirements engineering
Tema Archive | 1998|Keywords: formale Spezifikation, formales Verfahren, leichte formale Methode -
Graph Transformation Systems: A Semantics Based on (Stochastic) Symmetric Nets
TIBKAT | 2020|Keywords: Formale Methode -
On applying formal techniques to the development of hybrid services: challenges and directions
Tema Archive | 1999|Keywords: formale Spezifikation, formale Verifikation, formales Verfahren -
Telling better stories: strengthening the story in story and simulation
Tema Archive | 2012|Keywords: formales Verfahren -
A computational tool that supports formal diagnosis of process design
Tema Archive | 1998|Keywords: formale Sprache, formales Verfahren -
Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
TIBKAT | 2021|Keywords: Formale Sprache, Formale Methode -
From software engineering to formal methods and tools, and back : essays dedicated to Stefania Gnesi on the occasion of her 65th birthday
TIBKAT | 2019|Keywords: Formale Methode -
A Proposal for a Framework to Accompany Formal Methods Learning Tools (Short Paper)
TIBKAT | 2021|Keywords: Formale Sprache, Formale Methode -
Complexity Issues for the Iterated h-Preorders
TIBKAT | 2021|Keywords: Formale Sprache, Formale Methode -
Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games
TIBKAT | 2021|Keywords: Formale Sprache, Formale Methode -
Improved Constructions for Succinct Affine Automata
TIBKAT | 2021|Keywords: Formale Sprache, 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.