A Model for Industrial Real-Time Systems
No abstract available.
Related papers
- RERS 2019: Combining Synthesis with Real-World Models TACAS 2019
- Proactive Real-Time First-Order Enforcement CAV 2024
- PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report GPCE 2020
- Model-driven engineering and run-time model-usage in service robotics GPCE 2011
- Dealing with World-Model-Based Programs TOPLAS 1985
- The Development of Erlang ICFP 1997
- Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study GPCE 2011
- Over-Approximation of Weakly-Hard Constraints for Control Systems Verification CAV 2026