1 the algorithmic analysis of hybrid systems
来源：THEOR COMPUT SCI( P 0304-3975 E 1879-2294 ) 发表时间: 1995/02
类型：期刊论文 为本人加分：16112.608949
贡献度：单独通讯作者
2 System Design Automation: Challenges and Limitations
来源：P IEEE( P 0018-9219 E 1558-2256 ) 发表时间: 2015/11
类型：期刊论文 为本人加分：8816.480712
3 a unified approach for studying the properties of transition-systems
来源：THEOR COMPUT SCI( P 0304-3975 E ) 发表时间: 1982/01
类型：期刊论文 为本人加分：7576.260975
4 Composition for component-based modeling
来源：SCI COMPUT PROGRAM( P 0167-6423 E 1872-7964 ) 发表时间: 2005/03
类型：期刊论文,会议论文 为本人加分：6585.340316
5 symbolic model checking for real-time systems
来源：INFORM COMPUT( P 0890-5401 E 1090-2651 ) 发表时间: 1994/06
类型：期刊论文 为本人加分：6218.470535
6 Building models of real-time systems from application software
来源：P IEEE( P 0018-9219 E 1558-2256 ) 发表时间: 2003/01
类型：期刊论文 为本人加分：6039.771117
7 The embedded systems design challenge
来源：LECT NOTES COMPUT SC( P 0302-9743 E 1611-3349 ) 发表时间: 2006/01
类型：期刊论文,会议论文 为本人加分：4317.491762
8 Rigorous System Design
来源：FOUND TRENDS ELECTRO( P 1551-3939 E 1551-3947 ) 发表时间: 2012/01
类型：期刊论文 为本人加分：4080.012000
9 Rigorous Component-Based System Design Using the BIP Framework
来源：IEEE SOFTWARE( P 0740-7459 E ) 发表时间: 2011/05
类型：期刊论文 为本人加分：3954.242560
10 the algebra of timed processes, atp - theory and application
来源：INFORM COMPUT( P 0890-5401 E 1090-2651 ) 发表时间: 1994/10
类型：期刊论文 为本人加分：3884.864914