Refinement Theory of Embedded systems based on Hybrid models
書誌事項
- タイトル
- Refinement Theory of Embedded systems based on Hybrid models
- 著者
- Satoshi Yamane
収録刊行物
-
- The 2002 IKE (CSREA Press)
-
The 2002 IKE (CSREA Press) 455-461, 2002