Performance Analysis of Stochastic Digraph Real-Time Task Model

Martin Kristjansen, Kim Guldstrand Larsen

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

1 resultater

Filter

Igangværende
S4OS: SCALABLE ANALYSIS OF SAFE, SMALL AND SECURE STRATEGIES FOR CYBER-PHYSICAL SYSTEMS
Larsen, K. G. (PI (principal investigator))
Villum Fonden
01/01/2021 → 31/12/2027
Projekter: Projekt › Forskning