Spatio-Temporal Analysis of Concurrent Networks

Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2026

View at publisher
Authors: Heinz W. Schmidt, Peter Herrmann, Maria Spichkova, James Harland, Ian Peake, Ergys Puka
DOI: 10.1007/978-3-032-10554-7_12
Cited by: 0
References: 28

Fields of Study & Subjects

Real-Time Systems Scheduling Formal Methods in Verification Advanced Software Engineering Methodologies

Publication details

Journal / source
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
Pages
222–237
Publication date
1 January 2026
Language
EN