Model Driven Software Engineering W&I

Onderzoeksoutput

Filter
computerprogramma software
2020

Circle of Lamps

Verhoeff, T., 8 jul 2020

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Open Access
2017

Nbtoolbelt: Tools to Work with Jupyter Notebooks

Verhoeff, T., 4 okt 2017

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareAcademic

Open Access
2014

3D flying pipe-laying turtle

Verhoeff, T., 2014

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Devilish mazes

Verhoeff, T., 2014

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Euler's Rotation Theorem

Verhoeff, T., 2014

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Exploring the times table

Verhoeff, T., 2014

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Mitering a closed 3D path

Verhoeff, T., 2014

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Miter joint and fold joint

Verhoeff, T., 2014

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Switching between overloaded sliders

Verhoeff, T., 2014

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Zero-knowledge matchmaker

Verhoeff, T., 2014

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

2013

Knot explorer

Verhoeff, T., 2013

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Paradoxical triangular braid

Verhoeff, T., 2013

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Shapes from rhombuses

Verhoeff, T., 2013

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

2011

Torus paths

Verhoeff, T., 2011

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

2000

SymmSpin

Bosnacki, D., Dams, D. R. & Holenderski, L., 2000

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

1999

A LaTeX macro package for drawing Message Sequence Charts

Mauw, S. & Bos, V., 1999

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Discrete-Time Spin

Bosnacki, D. & Dams, D. R., 1999

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

if2pml

Bosnacki, D. & Dams, D. R., 1999

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

The µCRL toolset version 1.0

Groote, J. F. & Lisser, B., 1999

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

1998

Extension of the modle-checker Spin for the specification and verification of real-time properties

Bosnacki, D., 1998

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Upgrade of the model-checker RT Spin for the specification and verification of real-time systems with urgent actions

Bosnacki, D., 1998

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel

Vertaler van 'Intermediate format' naar Promela

Dams, D. R. & Bosnacki, D., 1998

Onderzoeksoutput: Niet-tekstuele vormcomputerprogramma softwareProfessioneel