Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Templon, Jeff
6  Ergebnisse:
Personensuche X
?
1

Message from the eScience 2018 Program Committee Chairs for..:

, In: 2018 IEEE 14th International Conference on e-Science (e-Science),
Templon, Jeff ; Dzigan, Yifat - p. 331-331 , 2018
Link: https://doi.org/10.1109/..
 
?
2

Using model checking to analyze the system behavior of the ..:

Remenska, Daniela ; Willemse, Tim A.C. ; Verstoep, Kees..
Future Generation Computer Systems.  29 (2013)  8 - p. 2239-2251 , 2013
Link: https://doi.org/10.1016/..
 
?
3

Using Model Checking to Analyze the System Behavior of the ..:

, In: Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012),
Remenska, Daniela ; Willemse, Tim A. C. ; Verstoep, Kees... - p. 335-343 , 2012
Link: https://dl.acm.org/doi/1..
 
?
4

The Dutch National e-Infrastructure:

Templon, Jeff ; Bot, Jan
https://zenodo.org/communities/zenodo.  , 2016
Link: https://zenodo.org/recor..
 
?
5

Property Specification Made Easy: Harnessing the Power of M..:

Remenska, Daniela ; Willemse, Tim ; Templon, Jeff..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-662-43613-4_2.  , 2014
Link: https://hal.inria.fr/hal..
 
?
6

Property Specification Made Easy: Harnessing the Power of M..:

Remenska, Daniela ; Willemse, Tim ; Templon, Jeff..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-662-43613-4_2.  , 2014
Link: https://hal.inria.fr/hal..
 
1-6