• 8010

    Inffeldgasse 16b Graz

    Österreich

Forschungsoutput 1986 2019

Filter
!!Conference article
2018

A formal TLS handshake model in LNT

Bozic, J., Marsso, L., Mateescu, R. & Wotawa, F., 23 Mär 2018, in : Electronic Proceedings in Theoretical Computer Science, EPTCS. 268, S. 1-40 40 S.

Publikation: Beitrag in einer Fachzeitschrift!!Conference articleForschungBegutachtung

Testing
Specifications
Software engineering
Network protocols
Formal specification

On the superiority of conflict-driven search in MUs enumeration

Koitz-Hristov, R. & Wotawa, F., 1 Jan 2018, in : CEUR Workshop Proceedings. 2289

Publikation: Beitrag in einer Fachzeitschrift!!Conference articleForschungBegutachtung

Model checking
Set theory