Formal synthesis of safety controller code for distributed controllers / / by Dirk Missal.
Saved in:
VerfasserIn: | |
---|---|
Place / Publishing House: | Berlin : : Logos Verlag,, [2012] 2012 |
Year of Publication: | 2012 |
Language: | English |
Online Access: | |
Physical Description: | 1 online resource (156 pages) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
The psychology of lean improvements : why organizations must overcome resistance and change the culture / / Chris A. Ortiz.
by: Ortiz, Chris A.
Published: (c2012.) -
Resource service management in manufacturing grid system / Fei Tao, Lin Zhang and Yefa Hu.
by: Tao, Fei.
Published: (c2012.) -
Axure RP 6 prototypoing essentials : creating highly compelling, interactive prototypes with Axure that will impress and excite decision makers / / Ezra Schwartz ; [foreword by James Hobart].
by: Schwartz, Ezra.
Published: (2012.) -
Advances in manufacturing systems : selected, peer reviewed papers from the 4th Manufacturing Engineering Society International Conference, September 2011, Cadiz, Spain / / edited by M. Marcos, J. Salguero and A. Pastor.
Published: (c2012.) -
Advanced manufacturing technology and systems : : selected, peer reviewed papers from the 2012 International Conference on Advanced Manufacturing Technology and Systems (AMTS 2012), April 17, 2012, Wuhan, China / / edited by Jing Wu and Hao Xie.
Published: ([2012])