Вы здесь

Главная

Structured Object-Oriented Formal Language and Methods: Revised Selected Papers/10th International Workshop,, SOFL+MSVL 2020, Singapore, March 2021

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2021
Ключевые слова: 
model checking
формальный метод
моделирование
спецификация
верификация по
автоматическая трансформация
надежность по
динамический анализ
безопасность по
система реального времени
программные средства
формальный
model-driven engineering
встроенная система
формальная логика
Стр.: 
205 p.
Редактор: 
Xue J.
Nagoya F.
Liu Sh.
Duan Zh.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
12723
Карточка: 

Structured Object-Oriented Formal Language and Methods: Revised Selected Papers/10th International Workshop,, SOFL+MSVL 2020, Singapore, March 2021Ed. by Xue J., Nagoya F., Liu Sh., Duan Zh..-Berlin.: Springer, 2021.-Vol. 12723.-205 p.-(Lecture Notes in Computer Science).