Вы здесь

Главная

Bensalem S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Abstraction as the Key for Invariant Verification 2003 Bensalem S., Graf S., Lakhnech Y. Lecture Notes in Computer Science 26.03.2004

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Runtime Verification: Selected Papers/9th International Workshop, RV 2009. Grenoble, France, June 2009 2009 Lecture Notes in Computer Science
  1. Bensalem S.
  2. Peled D. A.
 21.11.2009
СБ Runtime Verification: Proc./4th International Conference, RV 2013, Rennes, France, September 2013 2013 Lecture Notes in Computer Science
  1. Legay A.
  2. Bensalem S.
 07.10.2013
СБ From Programs to Systems. The System Perspective in Computing: Proc./ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 2014 2014 Lecture Notes in Computer Science
  1. Bensalem S.
  2. Lakhneck Ya.
  3. Legay A.
 22.04.2014
СБ Verification and Evaluation of Computer and Communication Systems: Proc./12th International Conference, VECoS 2018, Grenoble, France, September 2018 2018 Lecture Notes in Computer Science
  1. Atig M.F.
  2. Bensalem S.
  3. Bliudze S.
  4. Monsuez B.
 30.10.2018