Reachability analysis of augmented marked graphs via integer linear programming /

সংরক্ষণ করুন:

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Chen, Chien-Liang.
অন্যান্য লেখক:	Chin, Shao-Chi., Yen, Hsu-Chun.
বিন্যাস:	প্রবন্ধ
ভাষা:	English
বিষয়গুলি:	Augmented marked graphs Integer linear programming Model checking Reachability
ট্যাগগুলো:	ট্যাগ যুক্ত করুন কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

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