| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 2 |      | Naghmeh Ghafari, Ramana Kumar, Jeff Joyce, Bernd Dehning, Christos Zamantzas: Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study. FMICS 2011: 212-227 |
| 1998 | ||
| 1 | | Ken Wong, Jeff Joyce: Refinement of Safety-Related Hazards into Verifiable Code Assertions. SAFECOMP 1998: 345-358 |
| 1 | Bernd Dehning | [2] |
| 2 | Naghmeh Ghafari | [2] |
| 3 | Ramana Kumar | [2] |
| 4 | Ken Wong | [1] |
| 5 | Christos Zamantzas | [2] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page