Home Advanced Search

Advanced Search - Page 1

Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings
  • PDF
  • English
  • Year: 2020
  • Author: Dang Van Hung, Oleg Sokolsky
Distributed Computing and Internet Technology: 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings
  • PDF
  • English
  • Year: 2020
  • Author: Dang Van Hung, Meenakshi D´Souza
Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Jérôme Leroux (auth.), Dang Van Hung, Mizuhito Ogawa (eds.)
Integrated Uncertainty in Knowledge Modelling and Decision Making
  • PDF
  • English
  • Year: 2018
  • Author: Van-Nam Huynh, Masahiro Inuiguchi, Dang Hung Tran, Thierry Denoeux
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang (eds.)
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2019
  • Author: Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
Runtime Verification: 7th International Workshop, RV 2007, Vancover [Vancouver], Canada, March 13, 2007, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Cindy Eisner (auth.), Oleg Sokolsky, Serdar Taşıran (eds.)
Knowledge and Systems Engineering: Proceedings of the Fifth International Conference KSE 2013, Volume 2
  • PDF
  • English
  • Year: 2014
  • Author: Ladislav Hluch (auth.), Van Nam Huynh, Thierry Denoeux, Dang Hung Tran, Anh Cuong Le, Son Bao Pham (eds.)
Knowledge and Systems Engineering: Proceedings of the Fifth International Conference KSE 2013, Volume 1
  • PDF
  • English
  • Year: 2014
  • Author: Riichiro Mizoguchi (auth.), Van Nam Huynh, Thierry Denoeux, Dang Hung Tran, Anh Cuong Le, Son Bao Pham (eds.)
Foundations of Computer Software. Future Trends and Techniques for Development: 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Egidio Astesiano, Gianna Reggio (auth.), Christine Choppy, Oleg Sokolsky (eds.)
search