Correct System Design, 1st ed. 2015 Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings Theoretical Computer Science and General Issues Series
Coordonnateurs : Meyer Roland, Platzer André, Wehrheim Heike
Contains papers presented at a symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday
The Festschrift includes contributions from colleagues and friends who have accompanied Ernst-Rüdiger Olderog through his scientific life
Covers a broad spectrum of topics all touching the theme of formal modeling and correctness in system design
Includes supplementary material: sn.pub/extras
Date de parution : 09-2015
Ouvrage de 279 p.
15.5x23.5 cm
Thème de Correct System Design :
Mots-clés :
Bisimulation; Concurrency; Cyber-physical systems; Embedded systems; Formal methods; Logic; Machine learning; Model-based testing; Operational semantics; Petri nets; Probabilistic programs; Process algebra; Real-time systems; Reinforcement learning; Scheduling; Semantics and reasoning; Software validation; Software verification; Static; dynamic; and infinitary control; Term rewriting