Find out more about Jen Davoren's experience
Jen Davoren's highlights
Jen Davoren's selected work
Mathematical, Logical And Computational Foundations Of Hybrid Control Systems & Their Appl..
Displaying the 3 most recent projects by Jen Davoren.
Displaying the 19 most recent scholarly works by Jen Davoren.
On two-sided approximate model-checking: Problem formulation and solution via finite topologies
JM Davoren, T Moor, RP Gore, V Coulthard, A Nerode
Conference Proceedings | 2004 | Formal techniques, modelling and analysis of timed and fault-tolerant systems. Joint International conferences on formal modelling and analysis of timed systems, FORMATS 2004 and formal techniques in real-time and fault-tolerant systems, FTRTFT 2004 proceedings.
Historical And Philosophical Studies
Doctor of Philosophy (Mathematics)
Master of Science
Bachelor of Arts (Honours) (Mathematics & Philosophy)
University of Melbourne