| Document Date: 2008-06-30 15:34:26 Open Document File Size: 107,13 KBShare Result on Facebook
City Albuquerque / Rotterdam / / Company Sandia National Laboratories / Lockheed Martin / Control Bell Labs / Lucent / / IndustryTerm verification tools / subtle static analysis tools / control software / software package / space flight software / mechanical tool / verification tool / high-reliability telephony sysNASA / / Organization National Aeronautics and Space Administration / Cassini-Huygens mission / Defense Advanced Research Projects Agency / Defense Threat Reduction Agency / / Person Gerard Holzmann / / Position director of research at How long does SPIN take / model / programmer / / Product Pathused software package / Pathused / / ProvinceOrState New Mexico / / Technology artificial intelligence / / URL WWW.SDMAGAZINE.COM / /
SocialTag |