Chapter
Modelling and Refining Hybrid Systems in Event-B and Rodin
Authors
Butler M; Abrial J-R; Banach R
Book title
From Action Systems to Distributed Systems
Pagination
pp. 29-42
Publisher
Taylor & Francis
Publication Date
May 12, 2016
DOI
10.1201/b20053-5