Specification and Verification of Real-Time Constraints in Coarse-Grain Dataflow

doi 10.21236/ada237355
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Defense Technical Information Center

Related search

Formal Specification and Verification of Real-Time Systems Using Graph Grammars

Journal of the Brazilian Computer Society
Computer Science
2007English

Formal Specification and Verification of Real-Time Systems Using Graph Grammars

Journal of the Brazilian Computer Society
Computer Science
2007English

Specification and Verification of Media Constraints Using UPPAAL

Design, Specification and Verification of Interactive Systems ’98
1998English

Automation of Dataflow Real-Time Computing System Diagnostics

Scientific and Technical Journal of Information Technologies, Mechanics and Optics
2020English

Specification and Analysis of Real-Time Systems in Statecharts

English

Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs

2015English

Formal Specification and Verification

2019English

Time-Bounded Verification of CTMCs Against Real-Time Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Real Time Memory Manager for the Real Time Specification for Java

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy