Home
Scholarly Works
An Event-B Development Process for the Distributed...
Conference

An Event-B Development Process for the Distributed BIP Framework.

Authors

Siala B; Bhiri MT; Bodeveix J-P; Filali M

Editors

Ogata K; Lawford M; Liu S

Series

Lecture Notes in Computer Science

Volume

10009

Pagination

pp. 313-328

Publication Date

January 1, 2016

ISBN-13

978-3-319-47845-6

Conference proceedings

ICFEM

Contact the Experts team