Continuous behaviour in event-B: A sketch

Richard Banach; Huibiao Zhu; Wen Su; Xiaofeng Wu

doi:10.1007/978-3-642-30885-7_29

Continuous behaviour in event-B: A sketch

Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 language	English
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.
Publisher	Springer Nature
Pages	349-352
Number of pages	3
Volume	7316
ISBN (Print)	9783642308840
DOIs	https://doi.org/10.1007/978-3-642-30885-7_29
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

Conference	3rd International Conference on Abstract State Machines, Alloy, B, VDM, and Z, ABZ 2012
City	Pisa
Period	1/07/12 → …

Access to Document

10.1007/978-3-642-30885-7_29

Cite this

@inproceedings{3648aa1ca7e046758695cdd7e834721c,

title = "Continuous behaviour in event-B: A sketch",

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). {\textcopyright} 2012 Springer-Verlag.",

author = "Richard Banach and Huibiao Zhu and Wen Su and Xiaofeng Wu",

year = "2012",

doi = "10.1007/978-3-642-30885-7_29",

language = "English",

isbn = "9783642308840",

volume = "7316",

pages = "349--352",

booktitle = "Lecture Notes in Computer Science (including subserie Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.",

publisher = "Springer Nature",

address = "United States",

note = "3rd International Conference on Abstract State Machines, Alloy, B, VDM, and Z, ABZ 2012 ; Conference date: 01-07-2012",

}

Banach, R, Zhu, H, Su, W & Wu, X 2012, Continuous behaviour in event-B: A sketch. in Lecture Notes in Computer Science (including subserie Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. vol. 7316, Springer Nature, pp. 349-352, 3rd International Conference on Abstract State Machines, Alloy, B, VDM, and Z, ABZ 2012, Pisa, 1/07/12. https://doi.org/10.1007/978-3-642-30885-7_29

Continuous behaviour in event-B: A sketch. / Banach, Richard; Zhu, Huibiao; Su, Wen et al.

Lecture Notes in Computer Science (including subserie Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. Vol. 7316 Springer Nature, 2012. p. 349-352.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Continuous behaviour in event-B: A sketch

AU - Banach, Richard

AU - Zhu, Huibiao

AU - Su, Wen

AU - Wu, Xiaofeng

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-30885-7_29

DO - 10.1007/978-3-642-30885-7_29

M3 - Conference contribution

SN - 9783642308840

VL - 7316

SP - 349

EP - 352

BT - Lecture Notes in Computer Science (including subserie Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.

PB - Springer Nature

T2 - 3rd International Conference on Abstract State Machines, Alloy, B, VDM, and Z, ABZ 2012

Y2 - 1 July 2012

ER -

Continuous behaviour in event-B: A sketch

Abstract

Conference

Access to Document

Fingerprint

Cite this