| |
Phil Clayton
List of publications from the DBLP Bibliography Server - FAQ
| 2006 | ||
|---|---|---|
| 4 | EE | Ana Cavalcanti, Phil Clayton: Verification of Control Systems using Circus. ICECCS 2006: 269-278 |
| 2005 | ||
| 3 | EE | Ana Cavalcanti, Phil Clayton, Colin O'Halloran: Control Law Diagrams in Circus. FM 2005: 253-268 |
| 2 | EE | M. M. Adams, Philip B. Clayton: ClawZ: Cost-Effective Formal Verification for Control Systems. ICFEM 2005: 465-479 |
| 2004 | ||
| 1 | EE | Phil Clayton, Colin O'Halloran: Using the Compliance Notation in Industry. PSSE 2004: 269-314 |
| 1 | M. M. Adams | [2] |
| 2 | Ana Cavalcanti | [3] [4] |
| 3 | Colin O'Halloran | [1] [3] |