1 model-checking PhD positions at NOVA Information Management School (NOVA IMS) in Portugal
Sort by
Refine Your Search
-
models to predict errors in auditing. This will cover all stages of the project life cycle, including data acquisition, pre-processing, model development, model testing, and reporting of results
Searches related to model checking
Enter an email to receive alerts for model-checking positions