Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic
- 21 March 2025
- book chapter
- Published by Springer Nature
- p. 70-101
Abstract
No abstract availableKeywords
This publication has 46 references indexed in Scilit:
- A Flexible Framework for Integrating Maude and SMT Solvers Using Python2024
- Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL2024
- An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs2022
- Hybrid SynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL2021
- $\mathbb {K}$—A Semantic Framework for Programming Languages and Formal Analysis2020
- Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL2019
- Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems2019
- What Good are Models?2018
- Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude2014
- Reifying Concurrency for Executable Metamodeling2013