Amanote Research
Register
Sign In
A Layered Formal Framework for Modeling of Cyber-Physical Systems
doi 10.23919/date.2017.7927270
Full Text
Open PDF
Abstract
Available in
full text
Date
March 1, 2017
Authors
George Ungureanu
Ingo Sander
Publisher
IEEE
Related search
Formal Modeling of Cyber-Physical Systems: Lessons Learn From Refinement and Proof Based Methods
Lecture Notes in Networks and Systems
Control
Computer Networks
Signal Processing
Systems Engineering
Communications
A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Resilience Enhancement in Cyber-Physical Systems: A Multiagent-Based Framework
C-Map: Framework for Multi-Agent Planning in Cyber Physical Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains
Cyber Physical Systems
Modeling and Evaluation of Cyber-Physical Systems in Civil Engineering
PAMM
A Formal Framework for Specifying Concurrent Systems
International Journal of Computer Applications
Orchestrated Platform for Cyber-Physical Systems
Complexity
Multidisciplinary
Computer Science
