Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

Collection : University Of Southern Denmark

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Verification of COMDES-II Systems Using UPPAAL with Model Transformation

Authors : Xu, Ke; Pettersson, Paul; Sierszecki, Krzysztof

Source: Xu , K , Pettersson , P , Sierszecki , K & Angelov , C K 2008 , Verification of COMDES-II Systems Using UPPAAL with Model Transformation . in Proceedings of the 14th IEEE International Conference on

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي