Satoshi Yamane. Formal Probabilistic Refinement Verification of Embedded Real-Time Systems. In 1st IEEE Workshop on Software Technologies for Future Embedded Systems (WSTFES 2003), 15-16 May 2003, Hakodate, Hokkaido, Japan. pages 79-82, IEEE Computer Society, 2003. [doi]
Abstract is missing.