Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
. Mayouf specialises in Building Information Modelling (BIM) and digital processes that support sustainable, low-emission urban development. His research integrates complex data solutions to enhance decision
-
University Department of Engineering, who is the overall project’s principal investigator and will be modelling and testing materials we produce. The successful applicant will be expected to lead the wet
-
affects the complexity is the essence of the project. There are many mathematical approaches that can be used in this research -- recent examples include universal algebra, logic and model theory
Searches related to model checking
Enter an email to receive alerts for model-checking positions