Development of Control Systems Guided by Models of their Environment - Research Collection

Metadata only

Author

Hudon, Simon

Hoang, Thai Son

Date

2011-12

Type

Conference Paper

Citations

Cited 7 times in Scopus

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1016/j.entcs.2011.11.018

Journal / series

Electronic notes in theoretical computer science

Volume

280

Pages / Article No.

57 - 68

Publisher

Elsevier

Event

The B2011 Workshop, a Satellite Event of the 17th International Symposium on Formal Methods (FM 2011), Limerick, Ireland, June 20, 2011

Subject

Event-B; Formal modelling; Refinement; Development strategy; System development

Organisational unit

03634 - Basin, David / Basin, David

Notes

Available online 3 December 2011.

More

Show all metadata

Citations

Cited 7 times in Scopus

ETH Bibliography

yes

Altmetrics