Zobrazeno 1 - 10
of 52
pro vyhledávání: '"TRUSZKOWSKI, WALT"'
Publikováno v:
In Science of Computer Programming 2006 61(1):48-57
Autor:
HINCHEY, MIKE, RASH, JAMES L., ROUFF, CHRISTOPHER A., TRUSZKOWSKI, WALT F., VANDERBILT, AMY K. C. S.
Publikováno v:
Formal Methods for Industrial Critical Systems (9781118459898); 2012, p56-59, 4p
Autor:
HINCHEY, MIKE, RASH, JAMES L., ROUFF, CHRISTOPHER A., TRUSZKOWSKI, WALT F., VANDERBILT, AMY K. C. S.
Publikováno v:
Formal Methods for Industrial Critical Systems (9781118459898); 2012, p41-55, 15p
Autor:
HINCHEY, MIKE, RASH, JAMES L., ROUFF, CHRISTOPHER A., TRUSZKOWSKI, WALT F., VANDERBILT, AMY K. C. S.
Publikováno v:
Formal Methods for Industrial Critical Systems (9781118459898); 2012, p35-39, 5p
Autor:
Truszkowski, Walt, Hallock, Harold L., Rouff, Christopher, Karlin, Jay, Rash, James, Hinchey, Mike, Sterritt, Roy
Publikováno v:
Autonomous & Autonomic Systems: with Applications to NASA Intelligent Spacecraft Operations & Exploration Systems; 2009, p231-289, 59p
Autor:
Truszkowski, Walt, Hallock, Harold L., Rouff, Christopher, Karlin, Jay, Rash, James, Hinchey, Mike, Sterritt, Roy
Publikováno v:
Autonomous & Autonomic Systems: with Applications to NASA Intelligent Spacecraft Operations & Exploration Systems; 2009, p115-146, 32p