Travelled to:1 × Finland
1 × Switzerland
Collaborated with:G.Wang S.Lintelman M.Li K.Sampigethaya
Talks about:trustworthi (1) lightweight (1) architectur (1) distribut (1) aircraft (1) perform (1) method (1) formal (1) confid (1) applic (1)
Person: Richard Robinson
DBLP: Robinson:Richard
Contributed to:
2008
2002Wrote 2 papers:
- FM-2008-LintelmanRLS #formal method #security
- Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution (SL, RR, ML, KS), pp. 406–410.
- EDOC-2002-WangR #architecture #corba #lightweight #performance
- An Architecture for Web-Enabled Engineering Applications Based on Lightweight High Performance CORBA (GW, RR), pp. 249–257.