Published January 24, 2019 | Version v1
Software Open

UpdateKnowledge Rule

Creators

  • 1. Computer Science

Description

This Code represents the AsmetaL specification for updating the knowledge of the intruder. 

Files

Files (3.3 kB)

Name Size Download all
md5:6b5495ec1bcb363e0994792e41dc3820
3.3 kB Download