Development of Control Systems Guided by Models of their Environment
dc.contributor.author
Hudon, Simon
dc.contributor.author
Hoang, Thai Son
dc.date.accessioned
2017-06-09T17:44:49Z
dc.date.available
2017-06-09T17:44:49Z
dc.date.issued
2011-12
dc.identifier.issn
1571-0661
dc.identifier.other
10.1016/j.entcs.2011.11.018
dc.identifier.uri
http://hdl.handle.net/20.500.11850/42370
dc.language.iso
en
dc.publisher
Elsevier
dc.subject
Event-B
dc.subject
Formal modelling
dc.subject
Refinement
dc.subject
Development strategy
dc.subject
System development
dc.title
Development of Control Systems Guided by Models of their Environment
dc.type
Conference Paper
ethz.journal.title
Electronic notes in theoretical computer science
ethz.journal.volume
280
ethz.pages.start
57
ethz.pages.end
68
ethz.event
The B2011 Workshop, a Satellite Event of the 17th International Symposium on Formal Methods (FM 2011)
ethz.event.location
Limerick, Ireland
ethz.event.date
June 20, 2011
ethz.notes
Available online 3 December 2011.
ethz.identifier.nebis
004718541
ethz.publication.place
Amsterdam
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.date.deposited
2017-06-09T17:44:54Z
ethz.source
ECIT
ethz.identifier.importid
imp59364eb899c0a13117
ethz.ecitpid
pub:70545
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-13T12:11:16Z
ethz.rosetta.lastUpdated
2022-03-28T10:13:16Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Development%20of%20Control%20Systems%20Guided%20by%20Models%20of%20their%20Environment&rft.jtitle=Electronic%20notes%20in%20theoretical%20computer%20science&rft.date=2011-12&rft.volume=280&rft.spage=57&rft.epage=68&rft.issn=1571-0661&rft.au=Hudon,%20Simon&Hoang,%20Thai%20Son&rft.genre=proceeding&rft_id=info:doi/10.1016/j.entcs.2011.11.018&
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [34983]