Saturday, December 14, 2013

Formalizing Hybrid Systems with Event-B

Abstract State Machines, Alloy, B, VDM, and ZLecture Notes in Computer Science Volume 7316, 2012, pp 178-193Formalizing Hybrid Systems with Event-B

Abstract

No comments: