Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Johns Hopkins APL technical digest, 2013-09, Vol.32 (2), p.490-498
2013
Volltextzugriff (PDF)

Open Access
Switched Systems as Hybrid Programs
IFAC-PapersOnLine, 2021, Vol.54 (5), p.247-252
2021
Volltextzugriff (PDF)

2015 International Conference on Complex Systems Engineering (ICCSE), 2015, p.1-2
2015
Volltextzugriff (PDF)


IFAC-PapersOnLine, 2018, Vol.51 (16), p.55-60
2018
Volltextzugriff (PDF)

Proceedings of the International Conference on Embedded Software Companion, 2019, p.1-2
2019
Volltextzugriff (PDF)

2015 International Conference on Embedded Software (EMSOFT), 2015, p.227-236
2015
Volltextzugriff (PDF)


Logical Analysis of Hybrid Systems, 2010, p.203-230
2010
Volltextzugriff (PDF)

Air Traffic Collision Avoidance
Logical Analysis of Hybrid Systems, 2010, p.303-334
2010
Volltextzugriff (PDF)

European Train Control System
Logical Analysis of Hybrid Systems, 2010, p.277-301
2010
Volltextzugriff (PDF)

Differential Dynamic Logic dℒ
Logical Analysis of Hybrid Systems, 2010, p.33-122
2010
Volltextzugriff (PDF)

Logical Analysis of Hybrid Systems, 2010, p.233-252
2010
Volltextzugriff (PDF)

Logical Analysis of Hybrid Systems, 2010, p.253-274
2010
Volltextzugriff (PDF)

Logical Analysis of Hybrid Systems, 2010, p.123-202
2010
Volltextzugriff (PDF)

How to prove hybrid systems
Proceedings of the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2016, p.1-1
2016
Volltextzugriff (PDF)

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, 2010, p.243-252
2010
Volltextzugriff (PDF)

Cyber-Physical Systems: Overview
Logical Foundations of Cyber-Physical Systems, 2018, p.1-24
2018
Volltextzugriff (PDF)

Differential Refinement Logic
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016, p.1-10
2016
Volltextzugriff (PDF)

Endorsements
Logical Foundations of Cyber-Physical Systems, 2018
2018
Volltextzugriff (PDF)

Ghosts & Differential Ghosts
Logical Foundations of Cyber-Physical Systems, 2018, p.363-396
2018
Volltextzugriff (PDF)

Control Loops & Invariants
Logical Foundations of Cyber-Physical Systems, 2018, p.211-244
2018
Volltextzugriff (PDF)

Dynamical Systems & Dynamic Axioms
Logical Foundations of Cyber-Physical Systems, 2018, p.137-172
2018
Volltextzugriff (PDF)

Truth & Proof
Logical Foundations of Cyber-Physical Systems, 2018, p.173-210
2018
Volltextzugriff (PDF)

Winning & Proving Hybrid Games
Logical Foundations of Cyber-Physical Systems, 2018, p.479-508
2018
Volltextzugriff (PDF)
Aktive Filter
KollektionIngenta
ThemaComputer Science
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt