Boute, Raymond T. books & textbook
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
Verhulst, Eric Boute, Raymond T. Faria, José Miguel Sampaio Sputh, Bernhard H.C. Mezhuyev, Vitaliy
Springer /2014-10-01 Paperback / 236 Pages
isbn-10: 148999288X / isbn-13: 9781489992888
Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science, 3294)
Dean, C. Neville Boute, Raymond T.
Springer /2004-11-17 Paperback / 260 Pages
isbn-10: 3540236112 / isbn-13: 9783540236115
