| ชื่อเรื่อง | : | The AI4FM approach for proof automation within formal methods — A Grand Challenge 6 "Dependable Systems Evolution" project |
| นักวิจัย | : | Grov, Gudmund, , Bundy, Alan , Jones, Cliff B , Ireland, Andrew |
| คำค้น | : | - |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2553 |
| อ้างอิง | : | http://hdl.handle.net/1842/4771 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | - |
| บรรณานุกรม | : |
Grov, Gudmund, , Bundy, Alan , Jones, Cliff B , Ireland, Andrew . (2553). The AI4FM approach for proof automation within formal methods — A Grand Challenge 6 "Dependable Systems Evolution" project.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Grov, Gudmund, , Bundy, Alan , Jones, Cliff B , Ireland, Andrew . 2553. "The AI4FM approach for proof automation within formal methods — A Grand Challenge 6 "Dependable Systems Evolution" project".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Grov, Gudmund, , Bundy, Alan , Jones, Cliff B , Ireland, Andrew . "The AI4FM approach for proof automation within formal methods — A Grand Challenge 6 "Dependable Systems Evolution" project."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2553. Print. Grov, Gudmund, , Bundy, Alan , Jones, Cliff B , Ireland, Andrew . The AI4FM approach for proof automation within formal methods — A Grand Challenge 6 "Dependable Systems Evolution" project. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2553.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
