ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
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
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 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
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
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
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
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close