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
-
CIncOo Cloud: A Holistic Approach for Web-Based Language-Driven Engineering
TIBKAT | 2022|Keywords: Formale Sprache, Formale Methode -
Using Model Selection and Reduction to Develop an Empirical Model to Predict Energy Consumption of a CNC Machine
TIBKAT | 2022|Keywords: Formale Sprache, Formale Methode -
Engineering of Digital Twins for Cyber-Physical Systems
TIBKAT | 2022|Keywords: Formale Sprache, Formale Methode -
An Experimental Toolchain for Strategy Synthesis with Spatial Properties
TIBKAT | 2022|Keywords: Formale Sprache, Formale Methode -
Quantitative Program Sketching using Lifted Static Analysis
TIBKAT | 2022|Keywords: Formale Methode -
RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems
TIBKAT | 2022|Keywords: Formale Methode -
Example Guided Synthesis of Linear Approximations for Neural Network Verification
TIBKAT | 2022|Keywords: Formale Methode -
SMT-Based Planning Synthesis for Distributed System Reconfigurations
TIBKAT | 2022|Keywords: Formale Methode -
An Institutional Approach to Communicating UML State Machines
TIBKAT | 2022|Keywords: Formale Methode -
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings / Sharon Shoham, Yakir Vizel (eds.) ; Part 1
TIBKAT | 2022|Keywords: Formale Methode -
Refactoring Solidity Smart Contracts to Protect Against Reentrancy Exploits
TIBKAT | 2022|Keywords: Formale Sprache, Formale Methode -
Towards a Usable and Sustainable Deductive Verification Tool
TIBKAT | 2022|Keywords: Formale Sprache, Formale Methode -
Automating Software Re-engineering: Introduction to the ISoLA 2022
TIBKAT | 2022|Keywords: Formale Sprache, Formale Methode -
An IoT Digital Twin for Cyber-Security Defence Based on Runtime Verification
TIBKAT | 2022|Keywords: Formale Sprache, Formale Methode -
Exploring a Parallel SCC Algorithm: Using TLA+ and the TLC Model Checker
TIBKAT | 2022|Keywords: Formale Sprache, Formale Methode -
Model-Driven Edge Analytics: Practical Use Cases in Smart Manufacturing
TIBKAT | 2022|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.