skip to main content
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Engineering remover Nome da Publicação: Computer Networks and ISDN Systems remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

SDL basics. (Specification and Description Language)(Special Issue: SDL and MSC)

Braek, Rolv

Computer Networks and ISDN Systems, June, 1996, Vol.28(12), p.1585(18) [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
2
Material Type:
Artigo
Adicionar ao Meu Espaço

Introduction to SDL-92. (Specification and Description Language)(Special Issue: SDL and MSC)

Sarma, Amardeo C.

Computer Networks and ISDN Systems, June, 1996, Vol.28(12), p.1603(13) [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
3
Material Type:
Artigo
Adicionar ao Meu Espaço

VESAR: a pragmatic approach to formal specification and verification. (Special Issue: Tools for FDTs)

Algayres, B. ; Coelho, V. ; Doldi, L. ; Garavel, H. ; Lejeune, Y. ; Rodriguez, C.

Computer Networks and ISDN Systems, Feb, 1993, Vol.25(7), p.779(12) [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
4
Material Type:
Artigo
Adicionar ao Meu Espaço

Data flow oriented test selection for LOTOS

Schoot, Hans Van Der ; Ural, Hasan

Computer Networks and ISDN Systems, May, 1995, Vol.27(7), p.1111(26) [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
5
Material Type:
Artigo
Adicionar ao Meu Espaço

Testing methods for SDL systems. (Specification and Description Language)(Special Issue: SDL and MSC)

Cavalli, Ana R. ; Chin, Byoung - Moon ; Chon, Kilnam

Computer Networks and ISDN Systems, June, 1996, Vol.28(12), p.1669(15) [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
6
Material Type:
Artigo
Adicionar ao Meu Espaço

G-LOTOS: a graphical language for concurrent systems

Bolognesi, T. ; Najm, E. ; Tilanus, P. A. J.

Computer Networks and ISDN Systems, May, 1994, Vol.26(9), p.1101(27) [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
7
Material Type:
Artigo
Adicionar ao Meu Espaço

Protocol visualization in Estelle. (Special Issue: Tools for FDTs)

Amer, Paul D. ; New, Darren

Computer Networks and ISDN Systems, Feb, 1993, Vol.25(7), p.741(20) [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
8
Material Type:
Artigo
Adicionar ao Meu Espaço

Validation of SDL systems. (Specification and Description Language)(Special Issue: SDL and MSC)

Hogrefe, Dieter

Computer Networks and ISDN Systems, June, 1996, Vol.28(12), p.1659(9) [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
9
Material Type:
Artigo
Adicionar ao Meu Espaço

On tools supporting the use of formal description techniques in protocol development. (Special Issue: Tools for FDTs)

Chanson, S. T. ; Loureiro, A. A. F. ; Vuong, S. T.

Computer Networks and ISDN Systems, Feb, 1993, Vol.25(7), p.723(17) [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
10
Material Type:
Artigo
Adicionar ao Meu Espaço

An introduction to Z.105.(Special Issue: SDL and MSC)

Verhaard, Louis

Computer Networks and ISDN Systems, June, 1996, Vol.28(12), p.1617(12) [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Vuong, Son
  2. Najm, E
  3. Algayres, B.
  4. Ural, Hasan
  5. Doldi, L.

Buscando em bases de dados remotas. Favor aguardar.