Formal Modeling of Cyber-Physical Systems: Lessons Learn From Refinement and Proof Based Methods

Lecture Notes in Networks and Systems - Switzerland
doi 10.1007/978-3-319-98352-3_1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

A Layered Formal Framework for Modeling of Cyber-Physical Systems

2017English

Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

2015English

Communicating and Negotiating Proof Events in the Cyber – Physical Systems

International Journal of Advanced Research in Computer Science and Software Engineering
2017English

Modeling and Evaluation of Cyber-Physical Systems in Civil Engineering

PAMM
2017English

Cyber Physical Systems

2019English

Using Information Flow Methods to Secure Cyber-Physical Systems

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2015English

Component-Based Formal Modeling of PLC Systems

Journal of Applied Mathematics
Applied Mathematics
2013English

Towards Formal Methods for Agent-Based Systems

1996English

Cloud Based Cyber Physical Systems Security Issues: A Survey

International Journal of Computer Applications
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy