1
Foilsithe 2010
Clár Ábhair: ... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
2
Foilsithe 2007
Clár Ábhair: ... -- Tactical Battlefield Entities Simulation Model Based on Multi-agent Interactions -- Extensive Epidemic...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
3
Foilsithe 2014
Clár Ábhair: ... Techniques -- Circle of Trust - One-Hop Trust Based Security Paradigm for Resource Constraint MANET -- Design...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
4
Foilsithe 2005
Clár Ábhair: ... -- Modeling Multiple Interactions Using Coloured Petri Nets: A Case Study -- A Framework for Information...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar