Year of publication
Type of media
Subject
Type of material
Language
81–100 of 112 hits
Sort by:
Sort by:
-
A Model Checking Language for Concurrent Value-Passing Systems
Springer Verlag | 2008|Contributors: Maibaum, Tom -
Specification and Checking of Software Contracts for Conditional Information Flow
Springer Verlag | 2008|Contributors: Maibaum, Tom -
Provably Correct Runtime Monitoring
(Extended Abstract)Springer Verlag | 2008|Contributors: Maibaum, Tom -
Checking Well-Formedness of Pure-Method Specifications
Springer Verlag | 2008|Contributors: Maibaum, Tom -
Safe and Reliable Metro Platform Screen Doors Control/Command Systems
Springer Verlag | 2008|Contributors: Maibaum, Tom -
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM
Springer Verlag | 2008|Contributors: Maibaum, Tom -
Towards Consistent Specifications of Product Families
Springer Verlag | 2008|Contributors: Maibaum, Tom -
Masking Faults While Providing Bounded-Time Phased Recovery
Springer Verlag | 2008|Contributors: Maibaum, Tom -
Industrial Use of Formal Methods for a High-Level Security Evaluation
Springer Verlag | 2008|Contributors: Maibaum, Tom -
FM 2008: formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26 - 30, 2008 ; proceedings
TIBKAT | 2008|Contributors: Maibaum, Tom -
Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation
Springer Verlag | 2008|Contributors: Maibaum, Tom
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.