Formal Refinement and Partitioning of a Fuel Pump System for Small Aircraft in Hybrid Event-B

Richard Banach, Marcello Bonsangue (Editor), Yuxin Deng (Editor)

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

307 Downloads (Pure)

Original language	English
Title of host publication	Proc. TASE 2016
Editors	Marcello Bonsangue, Yuxin Deng
Publisher	IEEE
Publication status	Published - Jul 2016
Event	The 10th International Symposium on Theoretical Aspects of Software Engineering - Shanghai Duration: 17 Jul 2016 → 19 Jul 2016

Conference	The 10th International Symposium on Theoretical Aspects of Software Engineering
City	Shanghai
Period	17/07/16 → 19/07/16

Access to Document

@inproceedings{66aeb2afd7804f9a9f18abe7fc094143,

title = "Formal Refinement and Partitioning of a Fuel Pump System for Small Aircraft in Hybrid Event-B",

author = "Richard Banach and Marcello Bonsangue and Yuxin Deng",

year = "2016",

month = jul,

language = "English",

editor = "Marcello Bonsangue and Yuxin Deng",

booktitle = "Proc. TASE 2016",

publisher = "IEEE",

address = "United States",

note = "The 10th International Symposium on Theoretical Aspects of Software Engineering ; Conference date: 17-07-2016 Through 19-07-2016",

}

TY - GEN

T1 - Formal Refinement and Partitioning of a Fuel Pump System for Small Aircraft in Hybrid Event-B

AU - Banach, Richard

A2 - Bonsangue, Marcello

A2 - Deng, Yuxin

A2 - Bonsangue, Marcello

A2 - Deng, Yuxin

PY - 2016/7

Y1 - 2016/7

M3 - Conference contribution

BT - Proc. TASE 2016

PB - IEEE

T2 - The 10th International Symposium on Theoretical Aspects of Software Engineering

Y2 - 17 July 2016 through 19 July 2016

ER -