Bjorn Wachter

机  构:  Department of Computer Science, Oxford University
领  域:  算法与理论, 实时与嵌入式系统, 软件工程

论文统计图
引用最多的论文 更多>>
Worst-Case Execution Time Analysis  2006
33次引用 0 0
Computer Aided Verification  2008
26次引用 0 0
Int. Conf. on Application of Concurrency to System Design  2008
8次引用 0 0
Computer Aided Verification  2010
6次引用 0 0
Computer Aided Verification  2008
5次引用 0 0
最新的论文 更多>>
Logical Methods in Computer Science  2013
0次引用 0 0
Formal Methods in Computer-Aided Design  2013
0次引用 0 0
Formal Methods in System Design  2013
0次引用 0 0
Automated Technology for Verification and Analysis  2012
0次引用 0 0
Advances in Real-Time Systems .  2012
0次引用 0 0
Feedback
Feedback
Feedback
我想反馈:
排行榜