Search

Now showing items 1-3 of 3

A Framework for Formal Verification of Real-Time Systems

Tóth, Tamás; Majzik, István (2015)

Timed Automata Verification using Interpolants

Tóth, Tamás; Majzik, István (2017)

Formal Modeling of Real-Time Systems with Data Processing

Tóth, Tamás; Majzik, István (2016)