<i>µ</i>QC: a property-based testing framework for L4 microkernels

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Cosmin Dragomir, Lucian Mogosanu, Mihai Carabas, Razvan Deaconescu, Nicolae Tapus

Journal title: International Journal of Critical Computer-Based Systems

Journal number: 8/1

Journal publisher: Inderscience Publishers

Published year: 2018

Published pages: 1

DOI identifier: 10.1504/IJCCBS.2018.091826

ISSN: 1757-8779