Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Kenneth Pierce
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains
Related publications
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
