Including provision for continuously varying behaviour as well as discrete state change is considered for Event-B. An extension of Event-B is sketched that accommodates continuous events (called pliant events) in between familiar discrete events (called mode events). © 2012 Springer-Verlag.
|Title of host publication||Lecture Notes in Computer Science (including subserie Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.|
|Number of pages||3|
|Publication status||Published - 2012|
|Event||3rd International Conference on Abstract State Machines, Alloy, B, VDM, and Z, ABZ 2012 - Pisa|
Duration: 1 Jul 2012 → …
|Conference||3rd International Conference on Abstract State Machines, Alloy, B, VDM, and Z, ABZ 2012|
|Period||1/07/12 → …|