Dejan Nickovic

机  构:  Imperial College London
领  域:  硬件与体系结构, 算法与理论, 软件工程

论文统计图
引用最多的论文 更多>>
Formal Modeling and Analysis of Timed Systems  2004
48次引用 0 0
Formal Modeling and Analysis of Timed Systems  2006
26次引用 0 0
Formal Modeling and Analysis of Timed Systems  2007
19次引用 0 0
Formal Modeling and Analysis of Timed Systems  2005
12次引用 0 0
Birthday ...  2008
10次引用 0 0
最新的论文 更多>>
Tests and Proofs  2013
0次引用 0 0
International Journal on Software Tools for Technology Transfer  2013
0次引用 0 0
Formal Modeling and Analysis of Timed Systems  2013
0次引用 0 0
Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings  2012
0次引用 0 0
ICSE Workshop on Software Engineering in Health Care  2012
0次引用 0 0
Feedback
Feedback
Feedback
我想反馈:
排行榜