Title | การทวนสอบเชิงรูปนัยของการออกแบบบีพีเอ็มเอ็นโดยใช้โมเดลเช็คกิง / ชานนท์ เดชสุภา = Formal verification of BPMN design using model checking / Chanon Dechsupa |
---|---|
Imprint | 2561 |
Connect to | http://cuir.car.chula.ac.th/handle/123456789/61548 |
Descript | ก-ด, 169 แผ่น : ภาพประกอบ, แผนภูมิ |