skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Springer Books remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
REFINEMENT OF FINITE STATE MACHINES WITH COMPLEMENTARY MODEL CHECKING
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

REFINEMENT OF FINITE STATE MACHINES WITH COMPLEMENTARY MODEL CHECKING

Mermet, Jean

UML-B Specification for Proven Embedded Systems Design, 1899

United States: Springer

Texto completo disponível

2
UML-B Specification for Proven Embedded Systems Design
Material Type:
Livro
Adicionar ao Meu Espaço

UML-B Specification for Proven Embedded Systems Design

Mermet, Jean

New York, NY: Springer 1899

Texto completo disponível

3
THE ADAPTIVE CRUISE CONTROLLER CASE STUDY
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

THE ADAPTIVE CRUISE CONTROLLER CASE STUDY

Mermet, Jean

UML-B Specification for Proven Embedded Systems Design, 1899

United States: Springer

Texto completo disponível

4
Annex A1 EVALUATION CRITERIA FOR EMBEDDED SYSTEM DESIGN METHODS
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Annex A1 EVALUATION CRITERIA FOR EMBEDDED SYSTEM DESIGN METHODS

Mermet, Jean

UML-B Specification for Proven Embedded Systems Design, 1899

United States: Springer

Texto completo disponível

5
ADAPTIVE CRUISE CONTROL CASE STUDY DESIGN EXPERIMENT
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

ADAPTIVE CRUISE CONTROL CASE STUDY DESIGN EXPERIMENT

Mermet, Jean

UML-B Specification for Proven Embedded Systems Design, 1899

United States: Springer

Texto completo disponível

6
EMBEDDED SYSTEM DESIGN USING THE PUSSEE METHOD
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

EMBEDDED SYSTEM DESIGN USING THE PUSSEE METHOD

Mermet, Jean

UML-B Specification for Proven Embedded Systems Design, 1899

United States: Springer

Texto completo disponível

7
BHDL
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

BHDL

Mermet, Jean

UML-B Specification for Proven Embedded Systems Design, 1899

United States: Springer

Texto completo disponível

8
AN INTRODUCTION TO FORMAL METHODS
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

AN INTRODUCTION TO FORMAL METHODS

Mermet, Jean

UML-B Specification for Proven Embedded Systems Design, 1899

United States: Springer

Texto completo disponível

9
RESULTS OF THE MOBILE DESIGN SYSTEM EXPERIMENT
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

RESULTS OF THE MOBILE DESIGN SYSTEM EXPERIMENT

Mermet, Jean

UML-B Specification for Proven Embedded Systems Design, 1899

United States: Springer

Texto completo disponível

10
THE PUSSEE METHOD IN PRACTICE
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

THE PUSSEE METHOD IN PRACTICE

Mermet, Jean

UML-B Specification for Proven Embedded Systems Design, 1899

United States: Springer

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (341.119)
  2. Revistas revisadas por pares (181.934)

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (468.377)
  2. Anais de Congresso  (78.218)
  3. Livros  (44.089)
  4. Verbetes  (7.097)
  5. Artigos  (2.035)
  6. Recursos Textuais  (219)
  7. Dissertações  (47)
  8. Web Resources  (46)
  9. Resenhas  (26)
  10. Reports  (12)
  11. Outros  (5)
  12. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1967  (626)
  2. 1967Até1980  (1.954)
  3. 1981Até1994  (21.175)
  4. 1995Até2009  (113.041)
  5. Após 2009  (441.618)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (591.567)
  2. Alemão  (9.508)
  3. Japonês  (3.602)
  4. Italiano  (197)
  5. Francês  (139)
  6. Norueguês  (58)
  7. Russo  (6)
  8. Espanhol  (6)
  9. Português  (5)
  10. Sueco  (5)
  11. Interlingue  (4)
  12. Dinamarquês  (3)
  13. Holandês  (2)
  14. Malaialo  (1)
  15. Serbian  (1)
  16. Árabe  (1)
  17. Búlgaro  (1)
  18. Galês  (1)
  19. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.