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

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

[IEEE Comput. Soc 11th Euromicro Workshop on Real-Time Systems - York, UK (9-11 June 1999)] Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99 - Splitting reachability analysis in hybrid automata

[IEEE Comput. Soc 11th Euromicro Workshop on Real-Time Systems - York, UK (9-11 June 1999)] Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99 - Splitting reachability analysis in hybrid automata

Boisieau, P.; Roux, O.

作者Boisieau, P.; Roux, O.
文件大小157.93KB
发表时间1999
DOI10.1109/emrts.1999.777455
页码98-105

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