Centrum Wiskunde & Informatica

Forward and backward simulations, part II: timing-based systems Tech Report

N.A. Lynch (Nancy) and F.W. Vaandrager (Frits)

January 1993
Reasoning about update logic Tech Report

D.J.N. van Eijck (Jan) and F.-J. de Vries (Fer-Jan)

January 1993
The regulator problem with robust stability Tech Report

M.K.K. Cevik and J.M. Schumacher (Hans)

January 1993
Parallelism across the steps in iterated Runge-Kutta methods for stiff initial value problems Tech Report

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and W.A. van der Veen (Wolter)

January 1993
Approximable sets Tech Report

R. Beigel, M. Kummer and F. Stephan

January 1993
A computer-checked verification of Milner's scheduler Tech Report

H.P. Korver and J.G. Springintveld

January 1993
Detecting feature interacties with Caesar/Aldébaran Tech Report

H.P. Korver

January 1993
A comparison of additivity axioms in timed transition systems Tech Report

A.S.A. Jeffrey, S.A. Schneider (Steve) and F.W. Vaandrager (Frits)

January 1993

Previous

Next