Textbooks
Real-time Systems. Scheduling, Analysis and Verification
Real-time Systems. Scheduling, Analysis and Verification
Albert M. K. Cheng
1st Edition
ISBN #9780471184065
108 Questions
0 Students Work From this Textbook
Get access to all of the answers and step-by-step video explanations to this book and 5,000+ more. Try Numerade free.
Join Free Today
Chapters
1
INTRODUCTION
0 sections
0 questions
2
ANALYSIS AND VERIFICATION OF NON- REAL-TIME SYSTEMS
0 sections
10 questions
3
REAL- TIME SCHEDULING AND SCHEDULABILITY ANALYSIS
0 sections
19 questions
4
MODEL CHECKING OF FINITE- STATE SYSTEMS
0 sections
11 questions
5
VISUAL FORMALISM STATECHARTS AND STATEMATE
0 sections
8 questions
6
REAL- TIME LOGIC GRAPH- THEORETIC ANALYSIS AND MODECHART
0 sections
10 questions
7
VERIFICATION USING TIMED AUTOMATA
0 sections
10 questions
8
TIMED PETRI NETS
0 sections
9 questions
9
PROCESS ALGEBRA
0 sections
9 questions
10
DESIGN AND ANALYSIS OF PROPOSITIONAL- LOGIC RULE- BASED SYSTEMS
0 sections
10 questions
11
TIMING ANALYSIS OF PREDICATE- LOGIC RULE- BASED SYSTEMS
0 sections
6 questions
12
OPTIMIZATION OF RULE- BASED SYSTEMS
0 sections
6 questions
Get step-by-step video solution
from top educators
Start your free 7-day trial, Sign up now.
Continue with Facebook
Continue with Apple
Continue with Clever
or
Name
Email
Password
Create Account
By creating an account, you agree to the
Terms of Service
and
Privacy Policy
Already have an account?
Log In
A free answerjust for you
Watch the video solution with this free unlock.
View the Answer
Log in to watch this video
...and 100,000,000 more!
EMAIL
PASSWORD
Log in
OR
Continue with Facebook
Continue with Apple
Continue with Clever
Don't have an account?
Sign Up