Chapter: Tools and Methods for Validation and Verification

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Runtime Reconfiguration in Networked Embedded Systems: Design and Testing Practices > Tools and Methods for Validation and Verification

Runtime Reconfiguration in Networked Embedded Systems: Design and Testing Practices |

Zoltan Papp; George Exarchakos

Springer Nature Singapore

Runtime Reconfiguration in Networked Embedded Systems: Design and Testing Practices

Tools and Methods for Validation and Verification

Chapter Info

Authors

Paola Jaramillo; Andrei Pruteanu; Willem van Driel; Wijnand van Kooten; Jean-Paul Linnartz

ARI Id

1674219896250_3568692

Access

Not Available Free

Pages

113-136

DOI

10.1007/978-981-10-0715-6_5

Chapter URL

https://rd.springer.com/chapter/10.1007/978-981-10-0715-6_5

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Table of Contents of Book

entries per page

Filter:

Showing 1 to 8 of 8 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter		i-xxii
Model-Based Engineering of Runtime Reconfigurable Networked Embedded Systems	Coen van Leeuwen; Yolanda Rieter-Barrell; Zoltan Papp; Andrei Pruteanu; Teus Vogel	1-28
Designing Reconfigurable Systems: Methodology and Guidelines	Zoltan Papp; Raul del Toro Matamoros; Coen van Leeuwen; Julio de Oliveira Filho; Andrei Pruteanu; Přemysl Šůcha	29-68
Runtime Services and Tooling for Reconfiguration	Julio Oliveira de Filho; Teus Vogel; Jan de Gier	69-92
Runtime Validation Framework	Roshan Kotian; Stefano Galzarano; Claudio Bacchiani; Aly A. Syed; Přemysl Šucha; Roman Václavík et al.	93-112
Tools and Methods for Validation and Verification	Paola Jaramillo; Andrei Pruteanu; Willem van Driel; Wijnand van Kooten; Jean-Paul Linnartz	113-136
An Illustrative Application Example: Cargo State Monitoring	Coen van Leeuwen; Vicente Hernández Díaz; Roshan Kotian; Raúl del Toro Matamoros; Zoltan Papp; Yolanda Rieter-Barrell	137-168
Back Matter		169-171
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 8 of 8 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries