Log inImperial users Other users No account?Information onFinding a talk Adding a talk Syndicating talks Who we are Everything else |
Transfer presentationAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Grigorios Mingas. Transfer presentation This talk is part of the CAS Talks series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsTalks Complexity & Networks Group CAS TalksOther talksBlurring boundaries: using software verification methodologies in hardware design Control of CPS using Passivity and Symmetry Closing the loop with Networked Cyber-Physical Systems - CANCELLED Context-based vision processing system |