Travelled to:
1 × USA
Collaborated with:
J.D.McGregor
Talks about:
architectur (1) composit (1) system (1) physic (1) proof (1) cyber (1) carri (1)
Person: Ethan T. McGee
DBLP: McGee:Ethan_T=
Contributed to:
Wrote 1 papers:
- SPLC-2015-McGeeM #architecture #composition #cyber-physical
- Composition of proof-carrying architectures for cyber-physical systems (ETM, JDM), pp. 419–426.