ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday - Katoen, Joost-Pieter.; Langerak, Rom.; Rensink, Arend; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Modeling and Semantics -- Testing -- Analysis -- Probabilities -- System Dynamics -- Applications.
Keywords: Computer logic; Software engineering; Programming languages (Electronic computers).; Computer simulation; Mathematical logic; Algorithms; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Simulation and Modeling; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity