Collaborated with:
L.Henrio O.Kulankhina E.Madelaine
Talks about:
distribut (1) environ (1) verifi (1) integr (1) compon (1) run (1)
Person: Siqi Li
DBLP: Li:Siqi
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.