Вы здесь

Главная

Sokolsky O.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Modeling and Analysis of Power-Aware Systems 2003 Sokolsky O., Philippou A., Lee I., Christou K. Lecture Notes in Computer Science 17.04.2003
СТ Hierarchical Hybrid Modeling of Embedded Systems 2001 Alur R., Dang T., Esposito J., Fierro R., Hur Y., Ivancic F., Kumar V., Lee I., Mishra P., Pappas G., Sokolsky O. Lecture Notes in Computer Science 03.11.2001

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Automated Technology for Verification and Analysis: Proc./18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 2020 2020 Lecture Notes in Computer Science
  1. Hung D. V.
  2. Sokolsky O.
 21140 12.11.2020
СБ From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday 2019 Lecture Notes in Computer Science
  1. Bartocci E.
  2. Cleaveland R.
  3. Grosu R.
  4. Sokolsky O.
 30.10.2019
СБ Dependable Software Engineering: Theories, Tools, and Applications: Proc./3rd International Symposium, SETTA 2017, Changsha, China, October 2017 2017 Lecture Notes in Computer Science
  1. Larsen K. G.
  2. Sokolsky O.
  3. Wang J.
 21.11.2017
СБ Foundations of Computing Software: Future Trends and Techniques for Development: Revised Selected Papers/15th Monterey Workshop 2008, Budapest, Hungary, September 2008 2010 Lecture Notes in Computer Science
  1. Choppy Ch.
  2. Sokolsky O.
 29.06.2010
СБ Runtime Verification: Revised Selected Papers/7th International Workshop, RV 2007. Vancouver, Canada, March 2007 2007 Lecture Notes in Computer Science
  1. Sokolsky O.
  2. Tasiran S.
 05.03.2008
СБ Composition of Embedded Systems: Scientific and Industrial Issues: Revised Selected Papers/13th Monterey Workshop. Paris, France, October 2006 2007 Lecture Notes in Computer Science
  1. Kordon F.
  2. Sokolsky O.
 05.03.2008