M. VERHOEF

M.: Validation Support for Distributed RealTime Embedded Systems in VDM (2007)

J. S. Fitzgerald, J. S. Fitzgerald, P. G. Larsen, P. G. Larsen, S. Tjell, S. Tjell, ...

We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system architects with rapid...

Co-simulation of Distributed Embedded Real-Time Control Systems (2007)

Verhoef, M., Visser, P.M., Hooman, J., Broenink, J.F.

Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analysis approaches...

Methodological challenges in whole systems research (2006)

Elder, C., Aickin, M., Bell, I.R., Fonnebo, V., Lewith, G.T., Ritenbaugh, C., ...

Delphi Process for developing a common epidemiologic core for Complementary and Alternative Medicine (CAM) Prevalence (2006)

Lachance, L., Zick, S., Hawthorne, V., Brien, S.M.E., Hyland, M.E., Lewith, G., ...

DNA Banking: current and ideal practices (1996)

GODARD, Béatrice, VERHOEF, M.

Ce livre est la conclusion d’un projet de recherche de deux ans portant sur les technologies en génétique humaine. Les développements récents en matière de collecte, d’analyse et de...

DNA Banking: current and ideal practices (1996)

Godard, Béatrice, Verhoef, M.

Ce livre est la conclusion d'un projet de recherche de deux ans portant sur les technologies en génétique humaine. Les développements récents en matière de collecte, d'analyse et de conservation...

DNA Banking: current and ideal practices (1996)

Godard, Béatrice, Verhoef, M.

Ce livre est la conclusion d'un projet de recherche de deux ans portant sur les technologies en génétique humaine. Les développements récents en matière de collecte, d'analyse et de conservation...

Added entries UNIVERSITY OF NEWCASTLE UPON TYNE (1020)

Z. Andrews, J. Fitzgerald, M. Verhoef, Zoe Andrews, John Fitzgerald, Marcel Verhoef, ...

We propose an approach to discrete event and continuous time co-simulation that permits the analysis of alternative fault-tolerance strategies in formal models of embedded systems at early design...

Gastric cancer and other endoscopic diagnoses in patients with benign dyspepsia

Breslin, N, Thomson, A, Bailey, R, Blustein, P, Meddings, J, Lalor, E, ...

BACKGROUND—It has been suggested that endoscopy could be replaced with non-invasive assessment of helicobacter status in the initial work up of young dyspeptic patients without sinister...