ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occasion of his 60th birthday / edited by Joost-Pieter Katoen, Rom Langerak, Arend Rensink.
2017
QA76.63
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Cite
Citation
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occasion of his 60th birthday / edited by Joost-Pieter Katoen, Rom Langerak, Arend Rensink.
ISBN
9783319682709
3319682709
9783319682693
3319682709
9783319682693
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Language
English
Description
1 online resource (xii, 391 pages) : illustrations.
Item Number
10.1007/978-3-319-68270-9 doi
Call Number
QA76.63
Dewey Decimal Classification
004.01/51
Summary
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.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Series
Lecture notes in computer science ; 10500.
Available in Other Form
Print version: 9783319682693
Linked Resources
Record Appears in
Table of Contents
Modeling and Semantics
Testing
Analysis
Probabilities
System Dynamics
Applications.
Testing
Analysis
Probabilities
System Dynamics
Applications.