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 journal › Article › Academic

Keywords

@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",

}