Abstract interpretation techniques for the verification of timed systems

Tesis doctoral de Robert Clariso Viladrosa En muchos sistemas, la corrección se puede decidir comparando las respuestas a eventos del […]

, , , , ,