ModelEd, TestEd, TrustEd
Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Published on 29. September 2017
Book
Paperback/Softback
XII, 391 pages
978-3-319-68269-3 (ISBN)
Description
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.
More details
Series
Edition
1st ed. 2017
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
115 s/w Abbildungen
XII, 391 p. 115 illus.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 22 mm
Weight
610 gr
ISBN-13
978-3-319-68269-3 (9783319682693)
DOI
10.1007/978-3-319-68270-9
Schweitzer Classification
Other editions
Additional editions
Joost-Pieter Katoen | Rom Langerak | Arend Rensink
ModelEd, TestEd, TrustEd
Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
E-Book
10/2017
Springer
€53.49
Available for download
Content
Modeling and Semantics.- Testing.- Analysis.- Probabilities.- System Dynamics.- Applications.