Continuous ASM, and a Pacemaker Sensing Fragment - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu. Continuous ASM, and a Pacemaker Sensing Fragment. In John Derrick, John A. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene, editors, Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Volume 7316 of Lecture Notes in Computer Science, pages 65-78, Springer, 2012. [doi]

This author has not been identified. Look up 'Richard Banach' in GoogleThis author has not been identified. Look up 'Huibiao Zhu' in GoogleThis author has not been identified. Look up 'Wen Su' in GoogleThis author has not been identified. Look up 'Xiaofeng Wu' in Google

runs on WebDSL