Vista do A Probabilistic Model Checking Technique for the Verification of Self-Organising Emergent Systems

Voltar aos Detalhes do Artigo A Probabilistic Model Checking Technique for the Verification of Self-Organising Emergent Systems Baixar ##common.downloadPdf##