Verificatie en validatie van veiligheidskritieke systemen

Research output: Contribution to journal › Article › Professional

Access to Document

@article{6e923566bb6c4475b1a2e63b1653c8a9,

title = "Verificatie en validatie van veiligheidskritieke systemen",

author = "\{van Eekelen\}, M.C.J.D. and Sjaak Smetsers",

year = "2014",

month = may,

day = "2",

language = "Dutch",

volume = "2014",

pages = "42--45",

journal = "Bits\&Chips",

publisher = "Techwatch bv",

number = "4",

}