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

Brian Butka 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 keys2009
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian Butka, Janusz Zalewski, Andrew J. Kornecki: Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do. SAFECOMP 2009: 201-214
2008
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew J. Kornecki, Brian Butka, Janusz Zalewski: Software Tools for Safety-Critical Systems According to DO-254. IEEE Computer 41(12): 112-115 (2008)
2004
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmer H. Atrash, Brian Butka: A technique to deskew differential PCB traces. ISCAS (2) 2004: 565-568

Coauthor Index

1Amer H. Atrash [1]
2Andrew J. Kornecki [2] [3]
3Janusz Zalewski [2] [3]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 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