Font Size: a A A
Keyword [Software model]
Result: 61 - 80 | Page: 4 of 5
61. Research On The Deriviation Of AADL Design Models For Safety-Critical Software
62. Software Modeling And Driving Development Based On JPEG Hardware Codec
63. Research On Aerospace Embedded Software Model Verification System
64. Compiler-assisted software model checking and monitoring
65. Formal verification and testing of software architectural models
66. Empirical analysis of hybrid open source software model: Determination of efficiency and governance
67. Abstraction for verification and refutation in model checking
68. Software model checking for confidentiality
69. Logics and algorithms for software model checking
70. Bayesian inference for non-homogeneous Poisson process models for software reliability
71. Model-driven integration of software and service components
72. A quad constraint model for selecting software process models in industry
73. Mapping an industry standard capability model to an organization's software development processes and practices
74. Using citation influence and social network analysis to predict software defects
75. Unified modeling language design testing and analysis
76. Model Based Safety Analysis and Verification of Cyber-Physical Systems
77. Glass Box Software Model Checking
78. A games-based foundation for compositional software model checking
79. A hybrid model of the software development process
80. Architecture-based software reliability modeling
  <<First  <Prev  Next>  Last>>  Jump to