Seguir
Tibor Kiss
Tibor Kiss
Phd. Student, Babes-Bolyai University
Dirección de correo verificada de cs.ubbcluj.ro
Título
Citado por
Citado por
Año
Towards a Session Logic for Communication Protocols
F Craciun, T Kiss, A Costea
ICECCS, 2015
142015
Developing railway interlocking systems with Session types and Event-B.
T Kiss, KT Jánosi-Rancz
IEEE International Symposium on Applied Computational Intelligence and …, 2016
72016
Comparison of Session Logic with Session Types
T Kiss
Studia Informatica 61, 54-66, 2016
2016
Session Logic and Its Applications in Railway Industry
T Kiss
2016
Verification of protocol specifications with Separation Logic
T Kiss, F Craciun, B Parv
2015 IEEE International Conference on Intelligent Computer Communication and …, 2015
2015
Extending LARIS with Session Types: A Case Study in the Railway Interlocking
T Kiss, F Craciun, B Parv
MIPRO, 2015
2015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–6