Cited By
View all- Kalidass JPurusothaman TSuresh P(2021)Enhancement of end-to-end security in advanced metering infrastructureJournal of Ambient Intelligence and Humanized Computing10.1007/s12652-021-03409-0Online publication date: 22-Sep-2021
Model-Based Engineering of Cyber-Physical Systems CPS needs correct-by-construction design methodologies, hence CPS modeling languages require mathematically rigorous, unambiguous, and sound specifications of their semantics. The main challenge is the ...
Modeling the heterogeneous composition of physical, computational and communication systems is an important challenge in engineering Cyber-Physical Systems (CPS), where the major sources of heterogeneity are causality, time semantics, and different ...
Software systems with concurrency are very complicated because they consist of many components that run in parallel and there can be a large number of combinations of how the components can interact. Deadlock, livelock, and other behavior can easily get ...
Association for Computing Machinery
New York, NY, United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in