-
they will investigate novel Cloud and Edge techniques that are built based on Java, Python and C++. The particular research topics of interest include• application development platforms• programming models
Searches related to model checking
Enter an email to receive alerts for model-checking positions