"Sebastian Hungerecker" appeared in Books and Chapters

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 > Sebastian Hungerecker

"Sebastian Hungerecker" appeared in Books and Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

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

Showing 0 to 0 of 0 entries

«
‹
›
»

entries per page

Filter:

Showing 1 to 2 of 2 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing	Lukas Convent; Sebastian Hungerecker; Torben Scheffel; Malte Schmitz; Daniel Thoma; Alexander Weiss	Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings	Christian Colombo; Martin Leucker	1st ed. 2018	Springer International Publishing
TeSSLa: Temporal Stream-Based Specification Language	Lukas Convent; Sebastian Hungerecker; Martin Leucker; Torben Scheffel; Malte Schmitz; Daniel Thoma	Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings	Tiago Massoni; Mohammad Reza Mousavi	1st ed. 2018	Springer International Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 2 of 2 entries

«
‹
1
›
»