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
Eli Arbel, Cindy Eisner, et al.
DAC 2009
Cindy Eisner
Electronic Notes in Theoretical Computer Science
Ilan Beer, Shoham Ben-David, et al.
Formal Methods in System Design