Mostrando 2 resultados de: 2
Publisher
Computer Networks and ISDN Systems(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Área temáticas
Ciencias de la computación(2)
Funcionamiento de bibliotecas y archivos(1)
Métodos informáticos especiales(1)
Origen
scopus(2)
ISABEL: A CSCW application for the distribution of events
Conference ObjectAbstract:Palabras claves:Autores:Azcorra A., de Miguel T.P., Huecas G., Joaquín Salvachúa, Larrabeiti D., Pavón S., Petit M., Quemada J., Robles T.Fuentes:scopusTool support to implement LOTOS formal specifications
ArticleAbstract: LOTOS is a specification language that aims to describe the dynamic behavior of complex systems. ToPalabras claves:Formal description techniques, formal program derivation, LOTOS, protocol implementation, prototyping formal specification compilation, specification languages, TESTINGAutores:Azcorra A., de Miguel T.P., Joaquín Salvachúa, Mañas J.Fuentes:scopus