Josip Bozic

dipl. inf. Dr.techn.

20012018
Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Forschungsoutput 2012 2018

  • 11 Beitrag in einem Konferenzband
  • 1 Artikel
  • 1 !!Conference article
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