Event-B patterns and their tool support - Research Collection

Metadata only

Author

Hoang, Thai Son

Fürst, Andreas

Abrial, Jean-Raymond

Date

2013-05

Type

Journal Article

Citations

Cited 7 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1007/s10270-010-0183-7

Journal / series

Software and systems modeling

Volume

12(2)

Pages / Article No.

229 - 244

Publisher

Springer

Subject

Event-B; Formal methods; Design patterns; Formal modelling; Model reuse

Organisational unit

03634 - Basin, David / Basin, David

Notes

Received 15 June 2010, Accepted 17 November 2010, Published online 4 January 2011.

More

Show all metadata

Citations

Cited 7 times in Web of Science

ETH Bibliography

yes

Altmetrics