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 Hard Atheism and the Ethics of Desire by
Cover of the book Climate Change Adaptation and Forest Dependent Communities by
Cover of the book Advances in Dynamic and Mean Field Games by
Cover of the book A Panorama of Discrepancy Theory by
Cover of the book Expanding Peace Ecology: Peace, Security, Sustainability, Equity and Gender by
Cover of the book Realism and Fear in International Relations by
Cover of the book New Avenues for Regional Innovation Systems - Theoretical Advances, Empirical Cases and Policy Lessons by
Cover of the book Handbook of Theory and Practice of Sustainable Development in Higher Education by
Cover of the book The Southern African Development Community (SADC) and the European Union (EU) by
Cover of the book Overconfidence and Risk Taking in Foreign Policy Decision Making by
Cover of the book Complex, Intelligent, and Software Intensive Systems by
Cover of the book Heat Transfer Enhancement in Plate and Fin Extended Surfaces by
Cover of the book Fuzzy Differential Equations in Various Approaches by
Cover of the book The State of Social Progress of Islamic Societies by
Cover of the book Climate Change in the Asia-Pacific Region 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