Tutti i documenti taggati con formal tools for software engineering

• Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools