Вы здесь

Главная

Rigorous State-Based Methods: Proc./7th International Conference, ABZ 2020, Ulm, Germany, May 2020

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2020
Ключевые слова: 
архитектура
верификация
легализация
компьютерное оборудование
обработка сигнала
цифровой сигнал
встроенная система
field programmable gate array
формальная логика
формальный метод
fuzzy sets
система основанная на знаниях
мобильный робот
model checking
объектно-ориентированное программирование
архитектура по
дизайн по
Стр.: 
428 p.
Редактор: 
Raschke A.
Mery D.
Houdek F.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
12071
Карточка: 

Rigorous State-Based Methods: Proc./7th International Conference, ABZ 2020, Ulm, Germany, May 2020Ed. by Raschke A., Mery D., Houdek F..-Berlin.: Springer, 2020.-Vol. 12071.-428 p.-(Lecture Notes in Computer Science).