Jump to main content

yr 〜
yr

Search results 9

Synchronous paradigm for modeling semi-passive reactive systems SAND973105C DE98 001687 CONF980634

Synchronous paradigm for modeling semi-passive reactive systems SAND973105C DE98 001687 CONF980634
Microform規格・テクニカルリポート類
Winter, V. L1997<LS-DE98/001687>
National Diet Library

Risk-based system refinement SAND981283C DE98 005766

Risk-based system refinement SAND981283C DE98 005766
Microform規格・テクニカルリポート類
Winter, V. L, Berg, R. S, Dalton, L. J1998<LS-DE98/005766>
National Diet Library

Visualization and animation as a technique to assist in the construction of high assurance software SAND-96-1325C DE96 011827 CONF-96071361

Visualization and animation as a technique to assist in the construction of high assurance software SAND-96-1325C DE96 011827 CONF-96071361
Microform規格・テクニカルリポート類
Winter, V. L1996<LS-DE96/011827>
National Diet Library

Proving refinement transformations using extended denotational semantics SAND-96-0843C DE96 008892 CONF-96041181

Proving refinement transformations using extended denotational semantics SAND-96-0843C DE96 008892 CONF-96041181
Microform規格・テクニカルリポート類
Winter, V. L, Boyle, J. M1996<LS-DE96/008892>
National Diet Library

Proving refinement transformations for deriving high-assurance software SAND-96-0844C DE96 008866 CONF-9610671

Proving refinement transformations for deriving high-assurance software SAND-96-0844C DE96 008866 CONF-9610671
Microform規格・テクニカルリポート類
Winter, V. L, Boyle, J. M1996<LS-DE96/008866>
National Diet Library

VISUALIZATION AND ANIMATION AS A TECHNIQUE TO ASSIST IN THE CONSTRUCTION OF HIGH ASSURANCE SOFTWARE (SAND ; SAND-96-1325C)

VISUALIZATION AND ANIMATION AS A TECHNIQUE TO ASSIST IN THE CONSTRUCTION OF HIGH ASSURANCE SOFTWARE (SAND ; SAND-96-1325C)
Paper図書
WINTER, V.L. (SANDIA NATIONAL LABS., ALBUQUERQUE, NM (UNITED STATES))Sandia National Laboratories(Sandia National Laboratories)1996.
Other Libraries in Japan
  • Author HeadingWINTER, V.L.

PROVING REFINEMENT TRANSFORMATIONS FOR DERIVING HIGH-ASSURANCE SOFTWARE (SAND ; SAND-96-0844C)

PROVING REFINEMENT TRANSFORMATIONS FOR DERIVING HIGH-ASSURANCE SOFTWARE (SAND ; SAND-96-0844C)
Paper図書
WINTER, V.L.// BOYLE, J.M. (SANDIA NATIONAL LABS., ALBUQUERQUE, NM (UNITED STATES))Sandia National Laboratories(Sandia National Laboratories)1996.
Other Libraries in Japan
  • Author HeadingWINTER, V.L. BOYLE, J.M.

PROVING REFINEMENT TRANSFORMATIONS USING EXTENDED DENOTATIONAL SEMANTICS (SAND ; SAND-96-0843C)

PROVING REFINEMENT TRANSFORMATIONS USING EXTENDED DENOTATIONAL SEMANTICS (SAND ; SAND-96-0843C)
Paper図書
WINTER, V.L.// BOYLE, J.M. (SANDIA NATIONAL LABS., ALBUQUERQUE, NM (UNITED STATES))Sandia National Laboratories(Sandia National Laboratories)1996.
Other Libraries in Japan
  • Author HeadingWINTER, V.L. BOYLE, J.M.

FORMAL MODEL FOR VERIFICATION OF ABSTRACT PROPERTIES (ANL ; ANL-92/10)

FORMAL MODEL FOR VERIFICATION OF ABSTRACT PROPERTIES (ANL ; ANL-92/10)
Paper図書
WINTER, V.L.// SMITH, B.T.// CHISHOLM, G.H.// WOJCIK, A.J. (ARGONNE NATIONAL LAB., IL (UNITED STATES))Argonne National Laboratory(Argonne National Laboratory)1992.
Other Libraries in Japan
  • Author HeadingWINTER, V.L. SMITH, B.T. CHISHOLM, G.H. WO...

Reached to the end of result.

RSS