|
СБ |
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday |
2021 |
|
Lecture Notes in Computer Science |
- Bartocci E.
- Falcone Y.
- Leucker M.
|
|
20911 |
28.10.2021 |
|
СБ |
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday |
2019 |
|
Lecture Notes in Computer Science |
- Bartocci E.
- Cleaveland R.
- Grosu R.
- Sokolsky O.
|
|
|
30.10.2019 |
|
СБ |
Lectures on Runtime Verification: Introductory and Advanced Topics |
2018 |
|
Lecture Notes in Computer Science |
- Bartocci E.
- Falcone Y.
|
|
|
06.02.2018 |
