| 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-0) | 2011 | Eric Verhulst · José Miguel Sampaio Faria · Bernhard H.C. Sputh · Vitaliy Mezhuyev | |
| Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings | 978-3-540-23611-5 (3-540-23611-2) | 2008 | C. Neville Dean |
Boute, Raymond T. · R. B · R. T. · Raymond B. · T. B.