dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Peter Amey Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2006
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Amey: Why Programming Languages Still Matter. RODIN Book 2006: 391-402
2005
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Amey, Roderick Chapman, Neil White: Smart Certification of Mixed Criticality Systems. Ada-Europe 2005: 144-155
2004
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Amey, Neil White: High Integrity Ada in a UML and C World. Ada-Europe 2004: 225-236
2003
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Amey, Brian Dobbing: High Integrity Ravenscar. Ada-Europe 2003: 68-79
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Amey, Roderick Chapman: Static verification and extreme programming. SIGAda 2003: 4-9
2002
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Amey: Closing the Loop: The Influence of Code Analysis on Design. Ada-Europe 2002: 151-162
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Amey, Roderick Chapman: Industrial strength exception freedom. SIGAda 2002: 1-9
2001
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Amey: Logic versus Magic in Critical Systems. Ada-Europe 2001: 49-67
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Amey: A language for systems not just software. SIGAda 2001: 3-11

Coauthor Index

1Roderick Chapman [3] [5] [8]
2Brian Dobbing [6]
3Neil White [7] [8]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page