ID:
publications-2695
Type:
Peer reviewed articles
Year:
2018
Authors:
Cosmin Dragomir, Lucian Mogosanu, Mihai Carabas, Razvan Deaconescu, Nicolae Tapus
Title:
<i>µ</i>QC: a property-based testing framework for L4 microkernels
Venue/Journal:
International Journal of Critical Computer-Based Systems
DOI:
10.1504/IJCCBS.2018.091826
Research type:
Data Management & Analytics
Water System:
River Basins
Technical Focus:
Abstract:
No abstract available
Link with Projects:
690900
Link with Tools:
Related policies:
ID:
