থাকতেই হবে বিকাশকারী সরঞ্জাম জন্য Alexandre David

UPPAAL মডেলিং, বৈধতা এবং তথ্য ধরনের সঙ্গে বাড়ানো সময় শেষ automata, নেটওয়ার্ক, (bounded ইন্টিজার, অ্যারে, ইত্যাদি) হিসাবে স্থাপিত বাস্তব সময় সিস্টেমের যাচাইয়ের জন্য একটি সমন্বিত টুল পরিবেশ.UPPAAL Cora রহমান এবং AMETIST প্রকল্পের অংশ হিসাবে UPPAAL দল...