Gebruiker:David Jansen
Uit Werkplaats
Versie door David Jansen (overleg | bijdragen) op 14 apr 2014 om 12:19
dr. David Jansen http://www.cs.ru.nl/D.Jansen e-mail 1971 Model-Based System Development Model Based System Development
|
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.