从38查看出版物1-38
2019
2018
2017
2016
2015
2013
2012
2010
2009
2007
2006
- 函数式编程语言的形式可验证WCET分析凯文·哈蒙德,克里斯蒂安·费迪南德,雷霍德·赫克曼,罗伊·戴克霍夫,马丁·霍夫曼,斯特芬·乔斯特,汉斯·沃夫冈·洛伊德,格雷格·迈克尔森,罗伯特·波因顿,诺曼·斯凯夫,乔斯林·塞罗,安迪·华莱士.wcet 2006年: [doi]
2005
- Embounded项目(项目开始文件)凯文·哈蒙德,罗伊·戴克霍夫,克里斯蒂安·费迪南德,雷霍德·赫克曼,马丁·霍夫曼,斯特芬·乔斯特,汉斯·沃夫冈·洛伊德,格雷格·迈克尔森,罗伯特·波因顿,诺曼·斯凯夫,乔斯林·塞罗,安迪·华莱士.2007年sfp:195-210
2003
2001
2000
1999
1998
1994
1993
1992
登录或注册以查看更多结果。