Page 1
Page 1
Emerging Directions in Embedded and Ubiquitous Computing ; EUC 2006 Workshops : NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings
Constitutes the refereed proceedings of the EUC 2006 workshops, held in conjunction with the IFIP International Conference on Embedded and Ubiquitous Computing in Seoul, Korea, August 2006.
Composition of embedded systems : Scientific and industrial issues ; 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
This book discussed a range of challenges in embedded systems design that require further major advances in software and systems composition technology. The papers are organized in topical sections on model driven develo.
Automated technology for verification and analysis ; 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions.
