Travelled to:1 × Canada
1 × Germany
Collaborated with:R.J.Trefler
Talks about:transform (2) graph (2) protocol (1) communic (1) system (1) formal (1) applic (1) verif (1) model (1) dynam (1)
Person: Zarrin Langari
DBLP: Langari:Zarrin
Contributed to:
2009
2006Wrote 2 papers:
- IFM-2009-LangariT #graph transformation #verification
- Application of Graph Transformation in Verification of Dynamic Systems (ZL, RJT), pp. 261–276.
- FM-2006-LangariT #communication #formal method #graph transformation #modelling #protocol
- Formal Modeling of Communication Protocols by Graph Transformation (ZL, RJT), pp. 348–363.