Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
model translation
Publications
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 4943
Copyright © 2012-2024 easychair.org. All rights reserved.
