Model Checking of Real-Time Properties of Resource-Bound Process Algebra
スポンサーリンク
概要
- 論文の詳細を見る
- 2009-11-01
著者
-
PARK Junkil
Department of Computer Science and Engineering, Korea University
-
LEE Jungjae
Department of Computer Science and Engineering, Korea University
-
CHOI Jin-Young
Department of Computer Science and Engineering, Korea University
-
LEE Insup
Department of Computer and Information Science, University of Pennsylvania
-
Lee Insup
Department Of Computer And Information Science University Of Pennsylvania
-
Park Junkil
Department Of Computer Science And Engineering Korea University
-
Lee Jungjae
Department Of Computer Science And Engineering Korea University
-
Choi Jin-young
Department Of Computer Science And Engineering Korea University
-
Choi Jin‐young
Korea Univ. Seoul Kor
関連論文
- Model Checking of Real-Time Properties of Resource-Bound Process Algebra
- Model Checking of Real-Time Properties of Resource-Bound Process Algebra
- Endoscopic-Assisted Open Reduction and Internal Fixation (EAORIF) for Condylar Fracture(International Symposium of Maxillofacial and Oral Regenerative Biology in Okayama 2005)
- A Surface Resistance Effect on the Fabrication of Dye-sensitized Solar Cell with Various Widths
- Secure Handover Protocol for Mobile WiMAX Networks
- The New Design of Dye-Sensitized Solar Cell Adopted by Sputter Deposition of Counter Electrode
- Answer Set Semantics for Prioritized Defaults Logic(Fundamentals of Software and Theory of Programs)