Gebruiker:David Jansen

David Jansen

Model-Based System Development^{Model Based System Development}

Comments

	by
Adna Bliek/2013-14/Beweren en bewijzen/taak/05	David Jansen Adna Bliek
An Ha/2013-14/Beweren en bewijzen/taak/08	David Jansen An Ha
Bellamie Persad/2014-15/Beweren en bewijzen/taak/04	David Jansen Bellamie Persad Rick Erkens
Beweren en bewijzen/2010-11/oefenpagina/familietoestanden/eerst denken	Joost Hendricksen Menno van Wieringen Gerdriaan Mulder Herre Groen Hanno Wupper Petra van den Bos Ilona Wilmont Alper Aslan Tim Schwarte Engelbert Hubbers Wessel van Staal Robin Munsterman Anco Peeters Aram Verstegen Niels van der Weide Ben Vaassen Matthijs Hendriks Hans Wouters Thomas Nägele Fleur de Visscher Rob ten Berge Rafael Alejandro Imamgiller Ben Siebert David Jansen Roland Meertens Tim Fräser Ramon van Sparrentak Lucy van Oostveen Harm van den Brink Evine Beursken Merijn Spiro Edwin van der Graaf Roelf Leenders Mike Farjam Wouter Bulten Joost Rijneveld Marvin Barron Patrick Uiterwijk Ramon Janssen Sander Dorigo Ashwien Rampersad Frank Dorssers Vilas Pultoo
Beweren en bewijzen/2013-14/werkstuk/De Game	Bart Timmermans
Edwin de Koning/2012-13/Beweren en bewijzen/taak/08	David Jansen
Edwin de Koning/2013-14/Beweren en bewijzen/taak/03	Edwin de Koning David Jansen
… overige resultaten

Personal pages

David N. Jansen werkt als universitair docent in de groep van Frits Vaandrager. Hij werkt mee aan de vakken Processen en processoren, Beweren en bewijzen en Architectuur/in de digitale wereld en is lid van de Model Checking Reading Club. David N. Jansen spricht deutsch auf Mutterspracheniveau.

Navigatiemenu