Travelled to:1 × Argentina
1 × Germany
Collaborated with:V.Hilaire A.Koukam K.Cetnarowicz
Talks about:system (2) design (2) radiomobil (1) framework (1) transit (1) problem (1) network (1) analysi (1) specif (1) object (1)
Person: Pablo Gruer
DBLP: Gruer:Pablo
Contributed to:
2001
2000Wrote 2 papers:
- SEKE-2001-GruerHKC #analysis #design #framework #multi
- A Formal Framework for Multi-Agent Systems Analysis and Design (PG, VH, AK, KC), pp. 276–282.
- FASE-2000-GruerHK #design #network #problem #specification #using #verification
- Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem (PG, VH, AK), pp. 222–236.