Pages that link to "Item:Q953526"
From MaRDI portal
The following pages link to Models and formal verification of multiprocessor system-on-chips (Q953526):
Displaying 4 items.
- A hybrid performance analysis technique for distributed real-time embedded systems (Q1616842) (← links)
- Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Research and Development of an Algorithm for the Response Time Estimation in Multiprocessor Systems Under the Interval Uncertainty of the Tasks Execution Times (Q5060066) (← links)
