-
synthesis of timed and probabilistic behavioral models for model checking, performance evaluation, and optimization. The overall objective is to establish formal foundations that bridge static engineering
Searches related to combinatorial optimization
Enter an email to receive alerts for combinatorial-optimization positions in engineering