A Process Algebraic Framework for Specification and Validation of Real-Time Systems

Formal Aspects of Computing- United Kingdom

doi 10.1007/s00165-009-0119-6

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Science and Business Media LLC

Related search

Specification and Design Methodology for Real-Time Embedded Systems

2002English

Specification and Analysis of Real-Time Systems in Statecharts

English

Process Specification Framework in a Service Oriented Holonic Manufacturing Systems

Studies in Computational Intelligence
Artificial Intelligence
2015English

CoFI: The Common Framework Initiative for Algebraic Specification and Development

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

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

English

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

A Process Algebraic Framework for Modeling Resource Demand and Supply

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

If-2.0: A Validation Environment for Component-Based Real-Time Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy