Real-Time Systems: Specification, Verification, and Analysis

Authors:
Joseph Mattai;Mathai Joseph
Affiliations:
-;-
Venue:
Real-Time Systems: Specification, Verification, and Analysis
Year:
1995

Citing 0
Cited 5

Handling Obstacles in Goal-Oriented Requirements Engineering

IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Static analysis of real-time component-based systems configurations

Science of Computer Programming - Special issue on coordination languages and architectures
A Framework for Embedded Real-Time System Design

IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Mode: a method for system-level architecture evaluation

Formal methods and models for system design
THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION

Applied Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

From the Publisher:Real-time Systems: Specification, Verification and Analysis provides a detailed account of three major aspects of real-time systems: program structures for real-time, timing analysis using scheduling theory, and specification and verification in different formal frameworks.