Keyword:Papyrus-RT

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