-
, sustainability assessments, etc. Research areas include: Advance data science, predictive modelling, and intelligent systems for the Agro-Food domain. Adopt theoretical research results (algorithmic developments
-
, documentation, and simulations, sustainability assessments, etc. Research areas include: • Advance data science, predictive modelling, and intelligent systems for the Agro-Food domain. • Adopt theoretical
Searches related to model checking
Enter an email to receive alerts for model-checking positions in computer-science