Browsing by Author Davoren, Jen
Showing results 1 to 3 of 3
Non-deterministic temporal logics for general flow systems
Author(s) | Davoren, Jen; Coulthard, Vaughan; Markey, Nicholas, et al |
---|---|
Type | Book chapter |
Date Published | 2004 |
Date Created | - |
On two-sided approximate model-checking: problem formulation and solution via finite topologies
Author(s) | Davoren, Jen; Moor, Thomas; Gore, Rajeev, et al |
---|---|
Type | Book chapter |
Date Published | 2004 |
Date Created | - |
Robust Hybrid Control from a Behavioural Perspective
Author(s) | Moor, Thomas; Davoren, Jen; Anderson, Brian |
---|---|
Type | Conference paper |
Date Published | 2002 |
Date Created | December 10 2002 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator