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