1 resultado para Symbolic model checking
em Aberystwyth University Repository - Reino Unido
Relevância:
Resumo:
J. Keppens and Q. Shen. Compositional model repositories via dynamic constraint satisfaction with order-of-magnitude preferences. Journal of Artificial Intelligence Research, 21:499-550, 2004.
