1 |
Jinhyun Kim, Inhye Kang, Pyoung Soo Kim, Sungwon Kang, "Verification of Timing Properties for Software Behaviors on AUTOSAR Architecture using Process Algebra," Journal of KISS(B): Software and Applications, Vol.38, No.1, pp.633-645, 2011.11.
과학기술학회마을
|
2 |
O.Sokolsky, I.Lee, D.Clarke, "Schedulability analysis of AADL models," Parallel and Distributed Processing Symposium, p.164, 2006.4.
|
3 |
Jeong rhan Choi, Young choon Woo, Chang hwan Bae, "A Study on Workflow Verification for Business Process Automation in SaaS Platform," KCC2012, Vol.39, No.1(B), pp.220-222, 2012.6.
|
4 |
Wu, L., Garg, S. K., Buyya, R., "SLA-based resource allocation for software as a service provider in cloud computing environments," CCGrid 2011, 11' IEEE/ACM International Symposium, pp.195-204, 2011.5.
|
5 |
G. Salaun, L. Bordeaux, M. Schaerf, "Describing and Reasoning on Web Services using Process Algebra," International Journal of Business Process Integration and Management, Vol.1, No.2, pp.116-128, 2006.6.
DOI
|