Lee, Insup books & textbook
Handbook of Real-Time and Embedded Systems (Chapman & Hall/CRC Computer and Information Science Series)
Lee, Insup Leung, Joseph Y-T. Son, Sang H.
Chapman and Hall/CRC /2007-07-23 Hardcover / 798 Pages
isbn-10: 1584886781 / isbn-13: 9781584886785
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (Lecture Notes in Computer Science, 6418)
Barringer, Howard Falcone, Ylies Finkbeiner, Bernd Havelund, Klaus Lee, Insup Pace, Gordon Rosu, Grigore Sokolsky, Oleg Tillmann, Nikolai
Springer /2010-10-19 Paperback / 505 Pages
isbn-10: 3642166113 / isbn-13: 9783642166112
