发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE Comput. Soc 10th EUROMICRO Workshop on Real-Time Systems - Berlin, Germany (17-19 June 1998)] Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168) - Formal methods in real-time systems

[IEEE Comput. Soc 10th EUROMICRO Workshop on Real-Time Systems - Berlin, Germany (17-19 June 1998)] Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168) - Formal methods in real-time systems

Olderog, E.-R.

作者Olderog, E.-R.
文件大小108.32KB
发表时间1998
DOI10.1109/emwrts.1998.685130
页码254-263

← 返回【学霸图书馆】主页