Jesper Holst

Latest

• The paper 'PReGO: a Generative Methodology for Satisfying Real-Time Requirements on COTS-based Systems – Definition and Experience Report' was accepted for CPCE 2020.
• PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report