Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings von Dean, C. Neville, Boute, Raymond T

Volltext

Fuzzy versus quantitative association rules: a fair data-driven comparison von Verlinde, H., De Cock, M., Boute, R.

Volltext

A real options approach to project management von Boute, R., Demeulemeester, E., Herroelen, W.

Volltext

Supertotal function definition in mathematics and software engineering von Boute, R.

Volltext

Extending the production dice game von Lambrecht, Marc, Creemers, Stefan, Boute, Robert, Leus, Roel

Volltext

Functional declarative language design and predicate calculus : A practical approach von BOUTE, Raymond

Volltext

Advantages and disadvantages of product platforms: insights from literature von Van Den Broeke, M, Boute, R

Volltext

Integrating Formal Methods by Unifying Abstractions von Boute, Raymond

Volltext

Representational and denotational semantics of digital systems von Boute, R.T.

Volltext

On The Equivalence of Time-Division and Frequency-Division Multiplexing von Boute, R.

Volltext

The Euclidean definition of the functions div and mod von Boute, Raymond T.

Volltext

Systems semantics: principles, applications, and implementation von BOUTE, R. T

Volltext

The Timer Cascade: Functional Modelling and Real Time Calculi von Boute, Raymond, Schäfer, Andreas

Volltext

Moving a Rectangle around a Corner: Geometrically von Boute, Raymond T.

Volltext

Correction to 'Representational and denotational semantics of digital systems' von Boute, R.

Volltext

A heretical view on type embedding von Boute, R. T.

Volltext

System Semantics and formal circuit description von Boute, R.

Volltext

Zeroless Positional Number Representation and String Ordering von Boute, Raymond T.

Volltext

Optimal and Near-Optimal Checking Experiments for Output Faults in Sequential Machines von Boute, R.T.

Volltext

The Geometry of Bandpass Sampling: A Simple and Safe Approach [Lecture Notes] von Boute, R.

Volltext