Automatic implementation of Distributed systems Formal specifications

CASTELO BRANCO, L. H ; DO PRADO, A. F ; LOPES DE SOUZA, W ; SANT'ANNA, M

Lecture notes in computer science, 2000, p.1019-1026 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por

Título:
Automatic implementation of Distributed systems Formal specifications
Autor: CASTELO BRANCO, L. H ; DO PRADO, A. F ; LOPES DE SOUZA, W ; SANT'ANNA, M
Assuntos: Applied sciences ; Computer science; control theory; systems ; Computer systems and distributed systems. User interface ; Exact sciences and technology ; Software
É parte de: Lecture notes in computer science, 2000, p.1019-1026
Editor: Berlin: Springer
Idioma: Inglês

Links

Voltar para lista de resultados