Scenario Checker: An Event-B tool for validating abstract models (2021)

First Author: Snook C
Attributed to:  Holistic Design of Secure Systems on Capability Hardware (HD-Sec) funded by ISCF

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://abz2021.uni-ulm.de/program-overview

Type: Conference/Paper/Proceeding/Abstract