Gebruiker:David Jansen

Uit Werkplaats
Versie door David Jansen (overleg | bijdragen) op 14 apr 2014 om 12:19
(wijz) ← Oudere versie | Huidige versie (wijz) | Nieuwere versie → (wijz)
Ga naar: navigatie, zoeken
David Jansen

dr. David Jansen http://www.cs.ru.nl/D.Jansen  e-mail    1971


Model-Based System Development Model Based System Development



Comments

 by
Adna Bliek/2013-14/Beweren en bewijzen/taak/05David Jansen
Adna Bliek
An Ha/2013-14/Beweren en bewijzen/taak/08David Jansen
An Ha
Bellamie Persad/2014-15/Beweren en bewijzen/taak/04David Jansen
Bellamie Persad
Rick Erkens
Beweren en bewijzen/2010-11/oefenpagina/familietoestanden/eerst denkenJoost 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 GameBart Timmermans
Edwin de Koning/2012-13/Beweren en bewijzen/taak/08David Jansen
Edwin de Koning/2013-14/Beweren en bewijzen/taak/03Edwin de Koning
David Jansen
… overige resultaten

all comments written by David Jansen

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.