• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Книга

Formal Modeling and Analysis of Timed Systems

Vol. 9884. Switzerland: Springer, 2016.
Под общей редакцией: M. Fränzle, N. Markley.
Главы книги
Formal Modeling and Analysis of Timed Systems