-
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 optimization
Enter an email to receive alerts for optimization positions in engineering