Login / Signup

Specifying and verifying real-time systems with timing uncertainty.

Hyun Seop BaeIn Sang ChungYong Rae Kwon
Published in: J. Syst. Softw. (2000)
Keyphrases