Closing a system in the dynamic input/output automata model /

Closing a system in the dynamic input/output automata model /

সংরক্ষণ করুন:
গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Kapus, Tatjana.
বিন্যাস: প্রবন্ধ
ভাষা:English
বিষয়গুলি:
Distributed systems
Dynamic input
Formal methods
Output automata
Verification
ট্যাগগুলো: ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

অনুরূপ উপাদানগুলি

অনুরূপ উপাদানগুলি