Logical Foundations of Cyber-Physical Systems
Latest Publications

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783319635873, 9783319635880
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Safety & Contracts

2018 ◽  
pp. 95-136
Author(s):  
André Platzer

Hybrid Systems & Games

2018 ◽  
pp. 421-447
Author(s):  
André Platzer
Keyword(s):  
Hybrid Systems

Reactions & Delays

2018 ◽  
pp. 267-284
Author(s):  
André Platzer

Truth & Proof

2018 ◽  
pp. 173-210
Author(s):  
André Platzer

Choice & Control

2018 ◽  
pp. 63-94
Author(s):  
André Platzer
Load More ...
Sign in / Sign up

Export Citation Format

Share Document