skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Identification method for defect-introducing fine-grained software changes
Material Type:
Artigo
Adicionar ao Meu Espaço

Identification method for defect-introducing fine-grained software changes

Yuan, Zi ; Yu, Lili ; Liu, Chao

Journal of Beijing University of Aeronautics and Astronautics, 2014-09, Vol.40 (9), p.1231-1238 [Periódico revisado por pares]

Sem texto completo

2
Embedded software testing technology based on all-digital simulation
Material Type:
Artigo
Adicionar ao Meu Espaço

Embedded software testing technology based on all-digital simulation

Liu, Hui ; Jin, Maozhong

Journal of Beijing University of Aeronautics and Astronautics, 2014-03, Vol.40 (3), p.394-400 [Periódico revisado por pares]

Sem texto completo

3
Dynamic symbolic execution approach based on tabu search
Material Type:
Artigo
Adicionar ao Meu Espaço

Dynamic symbolic execution approach based on tabu search

Cai, Jun ; Zou, Peng ; Ma, Jinxin ; He, Jun

Journal of Beijing University of Aeronautics and Astronautics, 2015-12, Vol.41 (12), p.2348-2355 [Periódico revisado por pares]

Sem texto completo

4
Group delay calibration method for GNSS signal simulator channel
Material Type:
Artigo
Adicionar ao Meu Espaço

Group delay calibration method for GNSS signal simulator channel

Li, Shiguang ; Kou, Yanhong ; Yang, Jun ; Wang, Wei

Journal of Beijing University of Aeronautics and Astronautics, 2015-12, Vol.41 (12), p.2328-2334 [Periódico revisado por pares]

Sem texto completo

5
Dependability oriented avionics embedded software development framework
Material Type:
Artigo
Adicionar ao Meu Espaço

Dependability oriented avionics embedded software development framework

Niu, Wensheng ; Li, Yahui ; Wu, Ji

Journal of Beijing University of Aeronautics and Astronautics, 2012-12, Vol.38 (12), p.1577-1581 [Periódico revisado por pares]

Sem texto completo

6
Modeling and verification of de-icing software safety requirement based on expanded Petri net
Material Type:
Artigo
Adicionar ao Meu Espaço

Modeling and verification of de-icing software safety requirement based on expanded Petri net

Li, Zhen ; Liu, Bin ; Lu, Minyan ; Yin, Yongfeng

Journal of Beijing University of Aeronautics and Astronautics, 2012-01, Vol.38 (1), p.64-105 [Periódico revisado por pares]

Sem texto completo

7
Software reliability growth model with S-shaped testing effort function
Material Type:
Artigo
Adicionar ao Meu Espaço

Software reliability growth model with S-shaped testing effort function

Li, Qiuying ; Li, Haifeng ; Lu, Minyan ; Wang, Xuecheng

Journal of Beijing University of Aeronautics and Astronautics, 2011-02, Vol.37 (2), p.149-160 [Periódico revisado por pares]

Sem texto completo

8
Approach to choose integration testing combination for foundational software platform
Material Type:
Artigo
Adicionar ao Meu Espaço

Approach to choose integration testing combination for foundational software platform

Gao, Jing ; Lan, Yuqing ; Jin, Maozhong

Journal of Beijing University of Aeronautics and Astronautics, 2010-03, Vol.36 (3), p.265-269 [Periódico revisado por pares]

Sem texto completo

9
Improvement on ABDOM with normalized and discrete parameters
Material Type:
Artigo
Adicionar ao Meu Espaço

Improvement on ABDOM with normalized and discrete parameters

He, Zhitao ; Yan, Haihua ; Liu, Chao

Journal of Beijing University of Aeronautics and Astronautics, 2012-10, Vol.38 (10), p.1415-1419 [Periódico revisado por pares]

Sem texto completo

10
Accessory gearbox temperature field analysis considering fuel injection lubrication
Material Type:
Artigo
Adicionar ao Meu Espaço

Accessory gearbox temperature field analysis considering fuel injection lubrication

Chen, Yunxia ; Liu, Wangjia

Journal of Beijing University of Aeronautics and Astronautics, 2015-07, Vol.41 (7), p.1171-1176 [Periódico revisado por pares]

Sem texto completo

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de2004  (6)
  2. 2004Até2005  (11)
  3. 2006Até2007  (6)
  4. 2008Até2010  (19)
  5. Após 2010  (26)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.