Font Size: a A A
Keyword [Software model]
Result: 81 - 91 | Page: 5 of 5
81. Dynamic data reconciliation using process simulation software and model identification tools
82. A nonhomogeneous Poisson process software reliability growth model for N-version programming systems
83. Markov chain-based test data adequacy criteria
84. Modeling software reliability during non-operational testing
85. Distributed computing configuration: A combined user, software, and hardware model and analysis methodology
86. Time and reliability analysis of distributed real-time systems based on RTG model
87. A MODEL FOR SUPPORTING MULTIPLE SOFTWARE ENGINEERING METHODS IN A SOFTWARE ENVIRONMENT
88. A model-based testing technique for component-based real-time embedded system
89. Scaling Verification by Leveraging Parametrization
90. A Compositional Verification Method For AADL Models Of Safety-critical Software
91. Research On Multi-objective Testing Resource Allocation For The Architecture Based Software Model
  <<First  <Prev  Next>  Last>>  Jump to