Year of publication
Type of media
Type of material
Licence
Language
1–20 of 49 hits
Sort by:
Sort by:
-
Formal specification and verification method of concurrent and distributed systems by restricted timed automata
Springer Verlag | 1997|Keywords: Region Graph -
Automatic Verification of Real-Time Systems with Discrete Probability Distributions
Springer Verlag | 1999|Keywords: Region Graph -
A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems
Springer Verlag | 1999|Keywords: Region Graph -
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata
Springer Verlag | 2000|Keywords: Region Graph -
Towards Bounded Model Checking for the Universal Fragment of TCTL
Free accessSpringer Verlag | 2002|Keywords: Region Graph -
A partial order method for the verification of time Petri nets
Springer Verlag | 2003|Keywords: Region Graph -
Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic
Springer Verlag | 2003|Keywords: Region Graph -
Hybrid Acceleration Using Real Vector Automata
Free accessSpringer Verlag | 2003|Keywords: Region Graph -
Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time Systems
Springer Verlag | 2003|Keywords: Region Graph -
Timing Parameter Characterization of Real-Time Systems
Springer Verlag | 2003|Keywords: Region Graph -
Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC Tool
Springer Verlag | 2003|Keywords: Region Graph -
Hybrid image segmentation using watersheds and adaptive region growing
IET Digital Library Archive | 2003|Keywords: segmented region graph -
Verifying Linear Duration Constraints of Timed Automata
Springer Verlag | 2005|Keywords: Region Graph
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.