Cheddar
From MaRDI portal
Software:16926
swMATH4758MaRDI QIDQ16926FDOQ16926
Author name not available (Why is that?)
Cited In (5)
- Time4sys2imi: a tool to formalize real-time system models under uncertainty
- Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems
- Investigating the usability of real-time scheduling theory with the Cheddar project
- Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow
- Multi-task implementation of multi-periodic synchronous programs
This page was built for software: Cheddar
