« Buying a car on the third market | Main | Photoblogging with MT »
October 28, 2004
Hybrid Model Checking
[Project: Model checking methods and tools for hybrid logics (NIWI)] Thinking about building some real-time and continuous space models for environments in which embedded systems operate.
- Hytech paper a classic hybrid model checking paper. The hytech homepage
- Tom Henzinger's homepage
Posted by jones at October 28, 2004 11:45 AM
Comments
Post a comment
Thanks for signing in, . Now you can comment. (sign out)
(If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)