|
Search the dblp DataBase
James M. Armstrong:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- James M. Armstrong, Stephen Paynter
The Deconstruction of Safety Arguments Through Adversarial Counter-Argument. [Citation Graph (0, 0)][DBLP] SAFECOMP, 2004, pp:3-16 [Conf]
- Stephen Paynter, James M. Armstrong, Jan Haveman
ADL: An Activity Description Language for Real-Time Networks. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2000, v:12, n:2, pp:120-144 [Journal]
- Stephen Paynter, Neil Henderson, James M. Armstrong
Ramifications of metastability in bit variables explored via Simpson?s 4-slot mechanism. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2004, v:16, n:4, pp:332-351 [Journal]
- Stephen Paynter, Neil Henderson, James M. Armstrong
Metastability in Asynchronous Wait-Free Protocols. [Citation Graph (0, 0)][DBLP] IEEE Trans. Computers, 2006, v:55, n:3, pp:292-303 [Journal]
Search in 0.001secs, Finished in 0.001secs
|