Back to Results
First PageMeta Content
Models of computation / Hybrid automaton / Model checking / Formal methods / Computer science / Finite-state machine / Hybrid system / Automata theory / Differential equations / Theoretical computer science


Outline Model checking real-time systems Algorithmic Verification Comp4151 Lecture 12-B
Add to Reading List

Document Date: 2006-06-05 00:33:07

Open Document

File Size: 483,75 KB

Share Result on Facebook

Company

Hybrid Systems / Comp4151 Ansgar Fehnker / /

Event

FDA Phase / /

IndustryTerm

linear time-invariant systems / linear systems / real-time systems / /

Person

Reachability Finite / /

Position

leading Comp4151 Ansgar Fehnker controller / Model Checking Model Checking Forward / synchronization guard / guard / /

Product

BPV94 / /

ProgrammingLanguage

php / /

Technology

DBMs / finite state machine / /

URL

http /

SocialTag