Design and Validation of Reliable Complex Computer Systems

Maurice van Keulen, J. Skowronek, Peter M.G. Apers, H. Balsters, Henk Blanken, R.A. de By, Jan Flokstra

Research output: Contribution to journalArticleAcademic

Original languageUndefined
Pages (from-to)-
Number of pages10
JournalMemoranda informatica
Volume95
Issue number38
Publication statusPublished - 1995

Keywords

  • METIS-118764

Cite this

@article{36e5771bbcd545ab9b8e93d873380850,
title = "Design and Validation of Reliable Complex Computer Systems",
keywords = "METIS-118764",
author = "{van Keulen}, Maurice and J. Skowronek and Apers, {Peter M.G.} and H. Balsters and Henk Blanken and {de By}, R.A. and Jan Flokstra",
year = "1995",
language = "Undefined",
volume = "95",
pages = "--",
journal = "Memoranda informatica",
issn = "0924-3755",
publisher = "University of Twente",
number = "38",

}

Design and Validation of Reliable Complex Computer Systems. / van Keulen, Maurice; Skowronek, J.; Apers, Peter M.G.; Balsters, H.; Blanken, Henk; de By, R.A.; Flokstra, Jan.

In: Memoranda informatica, Vol. 95, No. 38, 1995, p. -.

Research output: Contribution to journalArticleAcademic

TY - JOUR

T1 - Design and Validation of Reliable Complex Computer Systems

AU - van Keulen, Maurice

AU - Skowronek, J.

AU - Apers, Peter M.G.

AU - Balsters, H.

AU - Blanken, Henk

AU - de By, R.A.

AU - Flokstra, Jan

PY - 1995

Y1 - 1995

KW - METIS-118764

M3 - Article

VL - 95

SP - -

JO - Memoranda informatica

JF - Memoranda informatica

SN - 0924-3755

IS - 38

ER -