ModelEd, TestEd, TrustEd

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

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book ModelEd, TestEd, TrustEd by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319682709
Publisher: Springer International Publishing Publication: October 16, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319682709
Publisher: Springer International Publishing
Publication: October 16, 2017
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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 books from Springer International Publishing

Cover of the book Fundamentals of Electromigration-Aware Integrated Circuit Design by
Cover of the book John Keats by
Cover of the book Development of Coherent Detector Technologies for Sub-Millimetre Wave Astronomy Observations by
Cover of the book Geospatial Technologies and Climate Change by
Cover of the book German-Sino Business Networks by
Cover of the book Geographies of Transport and Ageing by
Cover of the book Proceedings of the International Conference of Mechatronics and Cyber-MixMechatronics – 2018 by
Cover of the book Popular Participation in Japanese Criminal Justice by
Cover of the book New Results in Numerical and Experimental Fluid Mechanics IX by
Cover of the book Women in Numbers Europe by
Cover of the book Violence, Statistics, and the Politics of Accounting for the Dead by
Cover of the book Information Systems for Industry 4.0 by
Cover of the book Reconstruction, Identification and Implementation Methods for Spiking Neural Circuits by
Cover of the book Up-to-Date Waste-to-Energy Approach by
Cover of the book Computational Science/Intelligence and Applied Informatics by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy