Liliana Cucu‐Grosjean

1. A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems
   2019/01/01 by Robert I. Davis, Liliana Cucu‐Grosjean, Davis, Robert I. +1 · 3 citations
   Computer Science · #Real-Time Systems Scheduling #Embedded Systems Design Techniques #Formal Methods in Verification
2. A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems
   2019/01/01 by Robert I. Davis, Davis, Robert I., Liliana Cucu‐Grosjean +1 · 2 citations
   Computer Science · #Real-Time Systems Scheduling #Petri Nets in System Modeling #Embedded Systems Design Techniques