Open AccessA Framework for the Simulation of Attack using Model Checking
Author(s) -
Ebot Ebot Enaw,
Djoursoubo Pagou Prosper
Publication year - 2018
Publication title -
international journal of computer applications
Language(s) - English
Resource type - Journals
ISSN - 0975-8887
DOI - 10.5120/ijca2018918168
Subject(s) - computer science , model checking , programming language