Rezultaty 13.391 - 13.400 Rezultaty od 15.297 Dla wyszukiwania '"Engines."', Czas wyszukiwania: 0,05s Redukuj rezultaty
  1. 13391

    A notation for problematic architecture interactions. od Davis, L.

    Artykuł

    A notation for problematic architecture interactions.
  2. 13392

    Using symbolic execution for verifying safety-critical systems. od Coen-Porisini, Alberto

    Artykuł

    Using symbolic execution for verifying safety-critical systems.
  3. 13393

    Modular verification of collaboration-based software designs. od Fisler, Kathi

    Artykuł

    Modular verification of collaboration-based software designs.
  4. 13394

    Automatic abstraction for model checking software systems with interrelated numeric constraints. od Choi, Yunja

    Artykuł

    Automatic abstraction for model checking software systems with interrelated numeric constraints.
  5. 13395

    A methodology for specifying and analyzing consistency of object-oriented behavioral models. od Engels, Gregor

    Artykuł

    A methodology for specifying and analyzing consistency of object-oriented behavioral models.
  6. 13396

    WREN---an environment for component-based development. od Lüer, Chris

    Artykuł

    WREN---an environment for component-based development.
  7. 13397

    Engineering component-based net-centric systems for embedded applications. od Jahnke, Jens H.

    Artykuł

    Engineering component-based net-centric systems for embedded applications.
  8. 13398

    Behavioral contracts and behavioral subtyping. od Findler, Robert Bruce

    Artykuł

    Behavioral contracts and behavioral subtyping.
  9. 13399

    Analysis of the constraint solver in UNA based test data generation. od Edvardsson, Jon

    Artykuł

    Analysis of the constraint solver in UNA based test data generation.
  10. 13400

    Pursuing failure the distribution of program failures in a profile space. od Dickinson, William

    Artykuł

    Pursuing failure the distribution of program failures in a profile space.

Narzędzie wyszukiwania: