Difference between revisions of "User:Tom"
Jump to navigation
Jump to search
m |
m |
||
Line 4: | Line 4: | ||
Blog: tommd.wordpress.com |
Blog: tommd.wordpress.com |
||
Interests: Formal methods, verification, information flow, run time systems |
Interests: Formal methods, verification, information flow, run time systems |
||
− | Packages: hsXenCtrl, control-event, pureMD5, ipc |
+ | Packages: hsXenCtrl, control-event, pureMD5, ipc, control-engine |
Latest revision as of 22:52, 22 February 2009
Name: Tom IRC: TomMD Sequence.complete.org: TomMD Blog: tommd.wordpress.com Interests: Formal methods, verification, information flow, run time systems Packages: hsXenCtrl, control-event, pureMD5, ipc, control-engine