Ginsbourg.com - Performance and Load Test Report Template LTR 1.5
1 Behavioral Programming A review of recent research: ECOOP’10, ASE’10, ICFP’10, ICPC’11, EMSOFT’11, AGERE’11, ICTAI’11 David Harel, Assaf Marron, Smadar.
1 Model-Checking Behavioral Programs Assaf Marron Weizmann Institute of Science.
eth-2542-02
The HSVO Simulator Environment Control Specification (SECS)