Guaranteeing timed opacity using parametric timed model checking
Type
Publication
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dylan Marinho
PhD Student
Dylan is a PhD-student at Université de Lorraine, at the IAEM Doctoral School in computer science. He belongs to the VeriDis team of the LORIA and Inria.