Open AccessRefinement-based reasoning of optimized reactive systems
Author(s) -
Mitesh Jain
Publication year - 2018
Language(s) - Uncategorized
Resource type - Dissertations/theses
DOI - 10.17760/d20319823
Subject(s) - correctness , unobservable , computer science , class (philosophy) , observable , theoretical computer science , programming language , artificial intelligence , mathematics , physics , quantum mechanics , econometrics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom