A specification-oriented semantics for the refinement of real-time systems
David Scholefield, Hussein Zedan, He JifengVolume:
131
Year:
1994
Language:
english
Pages:
23
DOI:
10.1016/0304-3975(94)90096-5
File:
PDF, 1.30 MB
english, 1994