Formal System Modelling Using Abstract Data Types in Event-B

Metadata only

Author

Date

2014

Type

Other Conference Item

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Book title

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Journal / series

Lecture Notes in Computer Science

Volume

8477

Pages / Article No.

222 - 237

Publisher

Springer

Event

4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2014), Toulouse, France, June 2-6, 2014

Organisational unit

03634 - Basin, David / Basin, David
02660 - Institut für Informationssicherheit / Institute of Information Security

More

ETH Bibliography

yes

Altmetrics

Research Collection