| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems | 978-1-4419-9735-7 (1-4419-9735-O) | 2011 | Eric Verhulst · Raymond T. Boute · Bernhard H.C. Sputh · Vitaliy Mezhuyev |
J. F. · J.M. · J. MIGUEL · J. S. · Jose M. · Jose Miguel · M. F. · M S.