Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yamine Ait Ameur
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
Related publications
A Layered Formal Framework for Modeling of Cyber-Physical Systems
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains
Communicating and Negotiating Proof Events in the Cyber – Physical Systems
International Journal of Advanced Research in Computer Science and Software Engineering
Modeling and Evaluation of Cyber-Physical Systems in Civil Engineering
PAMM
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
Component-Based Formal Modeling of PLC Systems
Journal of Applied Mathematics
Applied Mathematics
Towards Formal Methods for Agent-Based Systems
Cloud Based Cyber Physical Systems Security Issues: A Survey
International Journal of Computer Applications
