Sort by
Refine Your Search
-
the population and environment (air, soil, and groundwater). A schedule optimization problem has emerged in this context, where tasks correspond to contaminated sites to be cleaned, while managing risks
Searches related to model checking
Enter an email to receive alerts for model-checking positions