Continuous behaviour in event-B: A sketch

Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Abstract

    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.
    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science (including subserie Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.
    PublisherSpringer Nature
    Pages349-352
    Number of pages3
    Volume7316
    ISBN (Print)9783642308840
    DOIs
    Publication statusPublished - 2012
    Event3rd International Conference on Abstract State Machines, Alloy, B, VDM, and Z, ABZ 2012 - Pisa
    Duration: 1 Jul 2012 → …

    Conference

    Conference3rd International Conference on Abstract State Machines, Alloy, B, VDM, and Z, ABZ 2012
    CityPisa
    Period1/07/12 → …

    Fingerprint

    Dive into the research topics of 'Continuous behaviour in event-B: A sketch'. Together they form a unique fingerprint.

    Cite this