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
u
wb10spat="/thor_idod330f
Improid=2">0次引用 Impro">5yle="float:right;text-decoration:none;">0 Impro">">0 Impro">5y style="float:right;text-decoration:none;"> Impro">5y stylee="float:right;text-decoration:none;">0