| 2009 | ||
|---|---|---|
| 3 | Brian 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 | ||
| 2 | Andrew J. Kornecki, Brian Butka, Janusz Zalewski: Software Tools for Safety-Critical Systems According to DO-254. IEEE Computer 41(12): 112-115 (2008) | |
| 2004 | ||
| 1 | Amer H. Atrash, Brian Butka: A technique to deskew differential PCB traces. ISCAS (2) 2004: 565-568 | |
| 1 | Amer H. Atrash | [1] |
| 2 | Andrew J. Kornecki | [2] [3] |
| 3 | Janusz Zalewski | [2] [3] |