Real-Time Systems
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By John Wiley & Sons, Inc.

0471184063, 0471224626

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Timed Petri Nets

Real-Time Systems ◽

10.1002/0471224626.ch8 ◽

2003 ◽

pp. 212-236

Keyword(s):

Petri Nets ◽

Timed Petri Nets

Download Full-text

Real-Time Scheduling and Schedulability Analysis

Real-Time Systems ◽

10.1002/0471224626.ch3 ◽

2003 ◽

pp. 41-85

Keyword(s):

Real Time ◽

Schedulability Analysis ◽

Real Time Scheduling ◽

Time Scheduling

Download Full-text

Analysis and Verification of Non-Real-Time Systems

Real-Time Systems ◽

10.1002/0471224626.ch2 ◽

2003 ◽

pp. 10-40

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

Index

Real-Time Systems ◽

10.1002/0471224626.index ◽

2003 ◽

pp. 505-524

Download Full-text

Visual Formalism, Statecharts, and Statemate

Real-Time Systems ◽

10.1002/0471224626.ch5 ◽

2003 ◽

pp. 134-147

Download Full-text

Real-Time Logic, Graph-Theoretic Analysis, and Modechart

Real-Time Systems ◽

10.1002/0471224626.ch6 ◽

2003 ◽

pp. 148-186

Keyword(s):

Real Time ◽

Theoretic Analysis ◽

Graph Theoretic ◽

Time Logic

Download Full-text

Bibliography

Real-Time Systems ◽

10.1002/0471224626.biblio ◽

2003 ◽

pp. 467-503

Download Full-text

Design and Analysis of Propositional-Logic Rule-Based Systems

Real-Time Systems ◽

10.1002/0471224626.ch10 ◽

2003 ◽

pp. 259-366

Keyword(s):

Propositional Logic ◽

Rule Based ◽

Logic Rule ◽

Rule Based Systems

Download Full-text

Optimization of Rule-Based Systems

Real-Time Systems ◽

10.1002/0471224626.ch12 ◽

2003 ◽

pp. 436-465

Keyword(s):

Rule Based ◽

Rule Based Systems

Download Full-text

Process Algebra

Real-Time Systems ◽

10.1002/0471224626.ch9 ◽

2003 ◽

pp. 237-258

Keyword(s):

Process Algebra

Download Full-text