11 Jun
2013
11 Jun
'13
2:03 p.m.
On 6/10/2013 4:30 PM, james wrote:
I don't think that the limited correctness you get from that is very useful in a concurrent system.
Why not? I think the development crews that worked on the mars orbiter mission which failed would beg to differ. Regards, Brandon