Time-Bounded Verification of CTMCs Against Real-Time Specifications

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-24310-3_4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Deriving Real-Time Programs From Duration Calculus Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Extensions of the Bounded Real Lemma of Discrete-Time Systems

International Journal of Control
ControlSystems EngineeringComputer Science Applications
2000English

Real-Time Java API Specifications for High Coverage Test Generation

2012English

Active Monitoring Using Real-Time Metric Linear Temporal Logic Specifications

2012English

Formal Verification of User-Level Real-Time Property Patterns

2017English

The Discrete-Time Bounded-Real Lemma in Digital Filtering

IEEE Transactions on Circuits and Systems
Engineering
1985English

Formal Verification of UML Statecharts With Real-Time Extensions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Formal Verification of Real-Time Systems With Preemptive Scheduling

Real-Time Systems
ControlSystems EngineeringOptimizationElectronic EngineeringComputer NetworksSimulationCommunicationsComputer Science ApplicationsElectricalModeling
2008English

MSB-First Interval-Bounded Variable-Precision Real-Time Arithmetic Unit

ITB Journal of Information and Communication Technology
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy