ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday - Couverture souple

 
9783319682693: ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Couverture souple
ISBN 10 : 3319682695 ISBN 13 : 9783319682693
Editeur : Springer, 2017

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2017
Langue
anglais
ISBN 10 
3319682695
ISBN 13 
9783319682693
Reliure
Broché
Numéro d'édition
1
Nombre de pages
404
Éditeur
Katoen Joost-Pieter, Langerak Rom, Rensink Arend
Coordonnées du fabricant
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne