Marieke Simons-Huisman - Dokumente zum Namen

(1 - 7 von 7

)

[ ] Future-based Static Analysis of Message Passing Programs

arxiv.org

Authors:Wytse Oortwijn (University of Twente), Stefan Blom (University of Twente), Marieke Huisman (University of Twente). (Submitted on

Huisman, Marieke [WorldCat Identities]

worldcat.org

Most widely held works by Marieke Huisman th international workshop on Specification and verification of component-based systems by Marieke Huisman( )

Module 1.2: Software systems Lus Ferreira Pires, Marieke Huisman, Jan...

vdocuments.site

Dia 1 Module 1.2: Software systems Lus Ferreira Pires, Marieke Huisman, Jan Kamphuis, Arend Rensink, Klaas Sikkel 28 February Global structure 28 Feb...

[ ] Quantitative Security Analysis for Multi-threaded Programs

arxiv.org

Title: Quantitative Security Analysis for Multi-threaded Programs. Authors: Tri Minh Ngo (University of Twente), Marieke Huisman (University of ...

Simons, Marieke [WorldCat Identities]

worldcat.org

De kleine gids jeugdwet by Marieke Simons( Book ) 1 edition published in in Dutch and held by 1 WorldCat member library worldwide. Deze 'Kleine Gids' legt op een duidelijke manier uit wat de nieuwe Jeugdwet betekent voor alle betrokken partijen. De nieuwe Jeugdwet betekent ingrijpende wijziging in de zorg voor ...

EPTCS 184: Engineering Safety and Security Systems

arxiv.org

The program of ESSS'15 also included invited talks by Marieke Huisman (University of Twente, Netherlands) and Audun Jøsang (University of Oslo, Norway). We would like to thank all the authors for submitting their work to ESSS'15 and SAFOME'15 and the members of the Program Committee as well as ...

Verwandte Suchanfragen zu Marieke Simons-Huisman

Personen
Vorname "Marieke" (1003)
Name "Simons-Huisman" (1)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Dokumente zum Namen Marieke Simons-Huisman

[ ] Future-based Static Analysis of Message Passing Programs

Huisman, Marieke [WorldCat Identities]

Module 1.2: Software systems Lus Ferreira Pires, Marieke Huisman, Jan...

[ ] Quantitative Security Analysis for Multi-threaded Programs

Simons, Marieke [WorldCat Identities]

EPTCS 184: Engineering Safety and Security Systems