Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dana S. Henry
Specification and Verification of Real-Time Constraints in Coarse-Grain Dataflow
Related publications
Formal Specification and Verification of Real-Time Systems Using Graph Grammars
Journal of the Brazilian Computer Society
Computer Science
Formal Specification and Verification of Real-Time Systems Using Graph Grammars
Journal of the Brazilian Computer Society
Computer Science
Specification and Verification of Media Constraints Using UPPAAL
Design, Specification and Verification of Interactive Systems ’98
Automation of Dataflow Real-Time Computing System Diagnostics
Scientific and Technical Journal of Information Technologies, Mechanics and Optics
Specification and Analysis of Real-Time Systems in Statecharts
Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs
Formal Specification and Verification
Time-Bounded Verification of CTMCs Against Real-Time Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Real Time Memory Manager for the Real Time Specification for Java
