ISBN 3-319-68269-5 (3319682695) / ModelEd, TestEd, TrustEd / Joost-Pieter Katoen, Rom Langerak, Arend Rensink / buchspektrum.de

ModelEd, TestEd, TrustEd

Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Herausgegeben von Katoen, Joost-Pieter; Langerak, Rom; Rensink, Arend
1st ed. 2017. 2017. xii, 391 S. 115 SW-Abb. 235 mm
Verlag/Jahr: SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING 2017
ISBN: 3-319-68269-5 (3319682695)
Neue ISBN: 978-3-319-68269-3 (9783319682693)

Preis und Lieferzeit: Bitte klicken

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.

The contributions in this Festschrift are written by a number of Ed´s former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed´s terminology applied mathematics in computer science.

The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.

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

Neuerscheinungen 2017

Joost-Pieter Katoen, Rom Langerak, Arend Rensink (Beteiligte)

ModelEd, TestEd, TrustEd