Conference paper
Policy validation for system automation: A case study
Emmanuel Zarpas, Cindy Eisner, et al.
POLICY 2008
Emmanuel Zarpas, Cindy Eisner, et al.
POLICY 2008
Cindy Eisner, Dana Fisman
FMCAD 2008
Cindy Eisner, Dana Fisman, et al.
ACM TOCL
Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, et al.
Formal Methods in System Design