Development of Control Systems Guided by Models of their Environment

Thumbnail
Metadata only
Author
Hudon, Simon
Hoang, Thai Son
Date
2011-12
Type
  • Conference Paper
Publication status
published
External links
Full text via SFX
Journal / series
Electronic notes in theoretical computer science
Volume
280
Pages
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
Notes
Available online 3 December 2011.
More
Show all metadata
Altmetrics