Mostrando 2 resultados de: 2
Filtros aplicados
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)
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