formal specification reverse auctions genetic algorithms winner determination combinatorial auctions reusable component component instantiation software reuse component generalization simulation formal methods verification model-checking evolutionary computation
Ver mais