Amanote Research
Register
Sign In
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains
doi 10.1109/formalise.2015.14
Full Text
Open PDF
Abstract
Available in
full text
Date
May 1, 2015
Authors
John Fitzgerald
Carl Gamble
Peter Gorm Larsen
Kenneth Pierce
Jim Woodcock
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
Rigorous Design of Cyber-Physical Systems
Formal Methods: Foundations and Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Layered Formal Framework for Modeling of Cyber-Physical Systems
Cyber Physical Systems
Using Information Flow Methods to Secure Cyber-Physical Systems
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Environment-Centric Contracts for Design of Cyber-Physical Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards Systematic Design of Cyber-Physical Product-Service Systems
A Simulation Tool for Evaluating Attack Impact in Cyber Physical Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
