Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Minh Gia Huy Cao
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
Keyphrases
Conveyor belt system
,
model translation
,
nuXmv
,
Papyrus-RT
,
symbolic model checking
,
UML-RT
.
Copyright © 2012-2024 easychair.org. All rights reserved.
