CP

C. Pronk

View Pure Profile

14 records found

The Esiac-10 Algebraic Computer

A theoretical decomposition by the Historic Collection

Journal article (2022) - C. Pronk (author), P.J. Trimp (author)
A description of the working pricciples of the Esiac-10 Algebraic Computer@en

Displaying Decimal Numbers
Journal article (2022) - C. Pronk (author)
Over the years engineers have dearched for means to display decimal numbers on measuring equipment. This paper presents an overview.@en

Measurements on (standard) Capacitors
Journal article (2020) - C. Pronk (author), P.J. Trimp (author)

Model Checking, the Technology and the Tools
Conference paper (2012) - C. Pronk (author)

EpiSpin: an Eclipse Plug-in for Promela/Spin using Spoofax

Verifying FreeRTOS; a feasibility study
Report (2010) - C. Pronk (author)

RAFFS: Model Checking a Robust Abstract Flash File Store
Conference paper (2009) - P Taverne (author), C. Pronk (author)

Design and Implementation of a GUI for the TLC model checker
Journal article (2006) - B Wang (author), C. Pronk (author)

Syntax error repair for a Java-based parser generator

Formal definition of programming language standards

Simona, real-time software in de praktijk

Extentions to the modula-2 language

Middleware for weal-time distributed simulation systems

Specification of real-time systems in UML