ModelEd, TestEd, TrustEd

ModelEd, TestEd, TrustEd

Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Langerak, Rom; Katoen, Joost-Pieter; Rensink, Arend

Springer International Publishing AG

09/2017

391

Mole

Inglês

9783319682693

15 a 20 dias

6088

Descrição não disponível.

Modeling and Semantics.- Testing.- Analysis.- Probabilities.- System Dynamics.- Applications.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

Concurrency;Formal methods;Logic;Models of computation;Probabilistic computation;Problem solving;Semantics and reasoning;Software tools;Testing;Timed and hybrid models;Verification by model checking;algorithm analysis and problem complexity