Guaranteeing timed opacity using parametric timed model checking
Type
Publication
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dylan Marinho
PhD Student
Dylan est en préparation d’un doctorat au sein de l'Université de Lorraine et de l’école doctorale IAEM en Science Informatique. Il est rattaché à l’équipe VeriDis du LORIA et de l'Inria.