Year of publication
Type of media
Source
Type of material
Licence
Language
1–20 of 42 hits
Sort by:
Sort by:
-
Formal methods for analysing, coordinating, and controlling decisions in multi-agent systems
Free accessBASE | 2015|Keywords: Formale Methoden -
Design and provability of a statically configurable hypervisor
Free accessDataCite | 2017|Keywords: formale Methoden -
Advances in probabilistic model checking with PRISM
Free accessBASE | 2018|Keywords: Formale Methoden -
Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming ; Generierung von Gegenbeispielen für höherstufige Logik unter Verwendung von funktionalen und logischen Programmen
Free accessBASE | 2013|Keywords: Formale Methoden -
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 -
Explanation of the Model Checker Verification Results
Free accessDataCite | 2023|Keywords: formale Methoden -
Advances in Symbolic Probabilistic Model Checking with PRISM
Free accessBASE | 2016|Keywords: Formale Methoden -
Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination
Free accessBASE | 2018|Keywords: Formale Methoden -
A temporal logic approach to information-flow control
Free accessBASE | 2016|Keywords: Formale Methoden -
Formale Methoden für die Entwicklung von eingebetteter Software in kleinen und mittleren Unternehmen
DataCite | 2019|Keywords: formale Verifikation ; KMU ; formale Methoden ; Software Entwicklung ; Eingebettete Systeme ; Informatik ; formal verification ; small and medium sized enterprises ; embedded systems -
Privacy-aware dynamic coalitions.
ein formales RahmenwerkFree accessA formal frameworkDataCite | 2014|Keywords: Formale Methoden -
Ein Framework zur modularisierten und pattern-basierten Entwicklung von zuverlässigen, personalisierten, web-basierten Applikationen
Free accessBASE | 2005|Keywords: Formale Methoden -
Formal Analysis of Variability-Intensive and Context-Sensitive Systems
Free accessBASE | 2020|Keywords: Formale Methoden -
Modeling Role-Based Systems with Exogenous Coordination
Free accessBASE | 2016|Keywords: Formale Methoden -
Model checking combined Z and Statechart specifications
DataCite | 2003|Keywords: Formale Methoden -
Integration formaler Fehlereinflussanalyse in die Funktionsentwicklung bei der Automobilindustrie ; Integration of Formal Fault Effect Analysis into Automotive Function Development
Free accessBASE | 2009|Keywords: formale Methoden -
Specification and analysis of adaptive systems ; Spezifikation und Analyse adaptiver Systeme
Free accessBASE | 2015|Keywords: formale Methoden -
An Algorithm for the Real-Time Evaluation of Temporal Trace Specifications
DataCite | 2004|Keywords: Formale Methoden -
Ein Produktmodell für die Entwicklung verteilter Informationssysteme ; A model of work products for the development of distributed information systems
Free accessBASE | 2007|Keywords: Vorgehensmodelle;Entwicklungsprozesse;formale Methoden;verteilte Systeme
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:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
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.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.