Tool support to implement LOTOS formal specifications

Article

Abstract: LOTOS is a specification language that aims to describe the dynamic behavior of complex systems. To

Palabras claves:

Formal description techniques, formal program derivation, LOTOS, protocol implementation, prototyping formal specification compilation, specification languages, TESTING

Autores:

Azcorra A., de Miguel T.P., Joaquín Salvachúa, Mañas J.

Fuentes:

scopus