Computer Science – Cryptography and Security
Scientist
Computer Science
Cryptography and Security
Scientist
LSR - IMAG, IMAG
GénéSyst : Génération d'un système de transitions étiquetées à partir d'une spécification B événementiel
GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties.
Security Policy Enforcement Through Refinement Process
No associations
LandOfFree
Marie-Laure Potet does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Marie-Laure Potet, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Marie-Laure Potet will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-234423