Sort by
Refine Your Search
-
consists of empirical methods (observational and controlled experiments) and theoretical modeling (mathematical, statistical, and computational). The Fellow will work closely with Dr. Otárola-Castillo
Searches related to model checking
Enter an email to receive alerts for model-checking positions