Controlling Control Systems: An Application of Evolving Retrenchment

Michael Poppleton; Richard Banach; Didier Bert; Jonathan P Bowen; Martin C Henson; Ken Robinson

Controlling Control Systems: An Application of Evolving Retrenchment

Michael Poppleton, Richard Banach, Didier Bert (Editor), Jonathan P Bowen (Editor), Martin C Henson (Editor), Ken Robinson (Editor)

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

Original language	English
Title of host publication	ZB
Editors	Didier Bert, Jonathan P Bowen, Martin C Henson, Ken Robinson
Publisher	Springer Nature
Pages	42-61
Number of pages	20
Volume	2272
ISBN (Print)	3-540-43166-7
Publication status	Published - 2002
Event	ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/zum/zb2002.html#PoppletonB02http://dblp.uni-trier.de/rec/bibtex/conf/zum/PoppletonB02.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/zum/PoppletonB02

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/zum/zb2002.html#PoppletonB02http://dblp.uni-trier.de/rec/bibtex/conf/zum/PoppletonB02.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/zum/PoppletonB02

Access to Document

Cite this

Poppleton, M., Banach, R., Bert, D. (Ed.), Bowen, J. P. (Ed.), Henson, M. C. (Ed.), & Robinson, K. (Ed.) (2002). Controlling Control Systems: An Application of Evolving Retrenchment. In D. Bert, J. P. Bowen, M. C. Henson, & K. Robinson (Eds.), ZB (Vol. 2272, pp. 42-61). (Lecture Notes in Computer Science). Springer Nature. http://dblp.uni-trier.de/db/conf/zum/zb2002.html#PoppletonB02

@inproceedings{1814e1583ef54d4d9bfd2428ed5094ff,

title = "Controlling Control Systems: An Application of Evolving Retrenchment",

author = "Michael Poppleton and Richard Banach and Didier Bert and Bowen, {Jonathan P} and Henson, {Martin C} and Ken Robinson",

year = "2002",

language = "English",

isbn = "3-540-43166-7",

volume = "2272",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "42--61",

editor = "Didier Bert and Bowen, {Jonathan P} and Henson, {Martin C} and Ken Robinson",

booktitle = "ZB",

address = "United States",

note = "ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/zum/zb2002.html#PoppletonB02http://dblp.uni-trier.de/rec/bibtex/conf/zum/PoppletonB02.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/zum/PoppletonB02",

}

Poppleton, M, Banach, R, Bert, D (ed.), Bowen, JP (ed.), Henson, MC (ed.) & Robinson, K (ed.) 2002, Controlling Control Systems: An Application of Evolving Retrenchment. in D Bert, JP Bowen, MC Henson & K Robinson (eds), ZB. vol. 2272, Lecture Notes in Computer Science, Springer Nature, pp. 42-61, ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/zum/zb2002.html#PoppletonB02>

Controlling Control Systems: An Application of Evolving Retrenchment. / Poppleton, Michael; Banach, Richard; Bert, Didier (Editor) et al.
ZB. ed. / Didier Bert; Jonathan P Bowen; Martin C Henson; Ken Robinson. Vol. 2272 Springer Nature, 2002. p. 42-61 (Lecture Notes in Computer Science).

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

TY - GEN

T1 - Controlling Control Systems: An Application of Evolving Retrenchment

AU - Poppleton, Michael

AU - Banach, Richard

A2 - Bert, Didier

A2 - Bowen, Jonathan P

A2 - Henson, Martin C

A2 - Robinson, Ken

A2 - Bert, Didier

A2 - Bowen, Jonathan P

A2 - Henson, Martin C

A2 - Robinson, Ken

PY - 2002

Y1 - 2002

M3 - Conference contribution

SN - 3-540-43166-7

VL - 2272

T3 - Lecture Notes in Computer Science

SP - 42

EP - 61

BT - ZB

PB - Springer Nature

T2 - ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings

Y2 - 1 January 1824

ER -