Guaranteeing timed opacity using parametric timed model checking

Publication
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dylan Marinho
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.

Sur le même sujet