MAST
From MaRDI portal
MAST Q52814
Cited in
(23)- CANalyzer.AFDX
- Pegase
- Formal verification of multitasking applications based on timed automata model
- Sensitivity analysis of arbitrary deadline real-time systems with EDF scheduling
- A hybrid performance analysis technique for distributed real-time embedded systems
- Holistic schedulability analysis for multipacket messages in AFDX networks
- Cheddar
- Torsche
- Fiacre
- TrueTime
- RTC toolbox
- mGstat
- Investigating the usability of real-time scheduling theory with the Cheddar project
- LiSA
- Antenna Toolbox
- ATPDraw
- EJS
- LEKIN
- SeisLab
- SeismicLab
- TEXTNN
- MATLAB -- modelling, programming and simulations.
- Sensitivity analysis of complex embedded real-time systems
This page was built for software: MAST
