Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Conveyor belt system
Papers
Verifying UML-RT Model of a Conveyor Belt System with nuXmv Model Checker
Duy Hieu Vo
,
Minh Gia Huy Cao
,
Nhat Nam Pham
,
Tong Ngoc Dang
,
Sneha Sahu
and
Ruth Schorr
EasyChair Preprint no. 4943
Copyright © 2012-2024 easychair.org. All rights reserved.