Show simple item record

POSIX and the verification grand challenge: A roadmap

dc.contributor.authorButterfield, Andrewen
dc.date.accessioned2009-01-05T10:56:58Z
dc.date.available2009-01-05T10:56:58Z
dc.date.issued2008en
dc.date.submitted2008en
dc.identifier.citationFreitas, 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-162en
dc.identifier.otherNen
dc.descriptionPUBLISHEDen
dc.descriptionArticle number 4492888en
dc.format.extent153-162en
dc.format.mimetypeapplication/pdf
dc.language.isoenen
dc.rightsYen
dc.subjectComputer Scienceen
dc.titlePOSIX and the verification grand challenge: A roadmapen
dc.title.alternativeIEEE International Conference on Engineering of Complex Computer Systems, ICECCSen
dc.typeInvited Talken
dc.type.supercollectionscholarly_publicationsen
dc.identifier.peoplefinderurlhttp://people.tcd.ie/butrfelden
dc.identifier.rssinternalid54297en
dc.identifier.doihttp://dx.doi.org/10.1109/ICECCS.2008.35en
dc.subject.TCDThemeSmart & Sustainable Planeten
dc.identifier.rssurihttp://ieeexplore.ieee.org/iel5/4492860/4492861/04492888.pdf?tp=&arnumber=4492888&isnumber=4492861en
dc.identifier.orcid_id0000-0002-2337-2101en
dc.identifier.urihttp://hdl.handle.net/2262/26439


Files in this item

Thumbnail
Name:
license.txt
Size:
3.329Kb
Format:
Text file
View/Open
Thumbnail
Name:
POSIX and the verification grand ...
Size:
244.6Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record