Refinement of decomposed models by interface instantiation - Research Collection

Metadata only

Author

Hallerstede, Stefan H.

Hoang, Thaison

Date

2014-11

Type

Journal Article

Citations

Cited 2 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1016/j.scico.2014.05.005

Journal / series

Science of computer programming (SCP)

Volume

94(Part 2)

Pages / Article No.

144 - 163

Publisher

North-Holland

Subject

Event-B; Decomposition; Refinement; External variables; Interface instantiation

Organisational unit

03634 - Basin, David

Notes

Received 15 February 2013, Revised 30 April 2014, Accepted 5 May 2014, Published online 20 May 2014.

More

Show all metadata

Citations

Cited 2 times in Web of Science

ETH Bibliography

yes

Altmetrics