Incremental specification with SCTL/MUS-T: A case study

Article

Abstract: The past decade witnessed a great advance in the field of timed formal methods for the specification

Palabras claves:

Formal Methods, Iterative and incremental specification, Many-valued reasoning, Real-time systems

Autores:

Barragáns-Martínez A.B., GarcÍa-Duque J., Gill Solla A., José Pazos-Arias, Redondo R.P.D., Vilas F.

Fuentes:

scopus