Верификация модуля управления производством пластиковых карт методом Model Checking
Published in Electronic Library of Peter the Great Polytechnic University • Jan 1, 2017
NobleIDNI2P92W89R17S57
Authors:
Юлия Домбровская
Abstract
Настоящая дипломная работа содержит результаты формальной верификации модуля управления производством пластиковых карт методом Model Checking.
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!