POSIX and the verification grand challenge: A roadmap

This item is OpenAccessThis item is covered by a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 Internationa. Click to find out more
Share this page with addthis.com
Thumbnail
File Type:
PDF
Item Type:
Invited Talk
Date:
2008
Author:
Citation:
Freitas, L., Woodcock, J., Butterfield, A., POSIX and the verification grand challenge: A roadmap, IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, 2008, 153-162
Download Item:
URI:
http://hdl.handle.net/2262/26439
Author's Homepage:
http://people.tcd.ie/butrfeld
Description:
PUBLISHED
Article number 4492888
Author: Butterfield, Andrew
Other Titles:
IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
Type of material:
Invited Talk
URI:
http://hdl.handle.net/2262/26439
Collections
Availability:
Full text available
Keywords:
Computer Science
Subject (TCD):
Smart & Sustainable Planet
DOI:
http://dx.doi.org/10.1109/ICECCS.2008.35
Metadata
Show full item record

Licences: