Подписаться
Marc de Jonge
Marc de Jonge
Technisch Consultant, TNO
Подтвержден адрес электронной почты в домене tno.nl
Название
Процитировано
Процитировано
Год
The SpinJa Model Checker
M de Jonge, TC Ruys
International SPIN Workshop on Model Checking of Software, 124-128, 2010
422010
The SpinJ model checker: a fast, extensible, object-oriented model checker
M Jonge
University of Twente, 2008
72008
Benchmarking various untrained localization algorithms
M de Jonge
3rd Twente Student Conference on IT, Enschede, 2005
62005
Development of autonomic management solutions for the military application domain
E Werkman, B van Schoonhoven, M de Jonge, E Matthijssen
2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010
32010
A Cloud Storage Platform in the Defense Context: Mobile Data Management With Unreliable Network Conditions
JS van der Veen, M Bastiaans, M Jonge, RJ Strijkers
12012
Onderzoek beschermingsfactoren bij adembeschermingsmiddelen gebruikt in de asbestbranche
JM Schinkel, J den Boeft, P Tromp, M de Jonge
Utrecht: TNO, 2017
2017
Analysis cloud: Running sensor data analysis programs on a cloud computing infrastructure
JS van der Veen, B Waaij, M Vonder, M Jonge, E Lazovik, RJ Meijer
2013
Analysis Cloud
JS van der Veen, B van der Waaij, M Vonder, M de Jonge, E Lazovik, ...
2013
A CLOUD STORAGE PLATFORM IN THE DEFENSE CONTEXT
JS van der Veen, M Bastiaans, M de Jonge, R Strijkers
2012
Flexigas Simulator Architectuur (versie 1.0)
M de Jonge, J Broekhuijsen, M Vonder, RK Helmholt, A Bastiaans, ...
Groningen: TNO, 2011
2011
Wednesday, 24 March 2010–ICECCS 2010
J Fox, S Clarke, E Werkman, B van Schoonhoven, M de Jonge, ...
2010
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–11