Collaborated with:
L.Henrio S.Li E.Madelaine
Talks about:
distribut (1) environ (1) verifi (1) integr (1) compon (1) run (1)
Person: Oleksandra Kulankhina
DBLP: Kulankhina:Oleksandra
Contributed to:
Wrote 1 papers:
- FASE-2016-HenrioKLM #component #distributed #ide #verification
- Integrated Environment for Verifying and Running Distributed Components (LH, OK, SL, EM), pp. 66–83.