Formal techniques for getting software right: some old ideas and some new tools Applied Formal Methods Research Group 2012-11-02 David Lightfoot: [email protected].
The Use of Formal Methods on the iFACTS Air Traffic Control Project
InfiniBand in the Lab (vSphere 5.5) VMworld 2013 Barcelona vBrownbag Tech Talk
The Art of Skillful Investigation
Some Observations from the Innovation Chasm
Calibration Accelerometers
CTS 2 Status Report Presentation to HL7 Vocab WG Jan 11, 2011 Harold Solbrig Mayo Clinic.
Http://cfs UML-B & U2B Colin Snook & Michael Butler University of Southampton Colin Snook & Michael Butler University of Southampton.
Www.QinetiQ.com © Copyright QinetiQ limited 2010 Formal Methods Tool Qualification for DO178B & DO178C Nick Tudor tel: +44 1684 894489 email: [email protected].
InfiniBand in the Lab Erik Bussink @ErikBussink 1.
Manual de Software