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

Neale Fulton 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 keys1999
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJin Song Dong, Brendan P. Mahony, Neale Fulton: Capturing Periodic Concurrent Interactions of Mission Computer Tasks. APSEC 1999: 538-545
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJin Song Dong, Brendan P. Mahony, Neale Fulton: Modeling Aircraft Mission Computer Task Rates. World Congress on Formal Methods 1999: 1855
1997
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJin Song Dong, Neale Fulton, Lin Zucconi, John Colton: Formalizing Process Scheduling Requirements for an Aircraft Operational Flight Program. ICFEM 1997: 161-

Coauthor Index

1John Colton [1]
2Jin Song Dong [1] [2] [3]
3Brendan P. Mahony [2] [3]
4Lin Zucconi [1]

Last update Sun Feb 12 22:50:56 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