PRISM Models of the FiGo Algorithm

Webster, Matt, Fisher, Michael and Dixon, Clare (2020) PRISM Models of the FiGo Algorithm. [Data Collection]

Description

PRISM models that are referred to in the following paper: Exploring the Effects of Environmental Conditions and Design Choices on IoT Systems Using Formal Methods Matt Webster, Michael Breza, Clare Dixon, Michael Fisher and Julie McCann

Keywords:	PRISM, FiGo, Internet of Things, Wireless sensor networks, formal methods
Divisions:	Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User:	Matt Webster
Date Deposited:	07 Jul 2020 11:32
Last Modified:	07 Jul 2020 11:32
DOI:	10.17638/datacat.liverpool.ac.uk/1118
URI:	https://datacat.liverpool.ac.uk/id/eprint/1118
Additional details Additional details Creators: Webster, Matt Fisher, Michael Dixon, Clare Research funder: Grant Number Name of the Funder The Funder's ID EP/N007565/1 EPSRC 172 EP/R026092/1 EPSRC 172 EP/R026173/1 EPSRC 172 ROYAL ACADEMY OF ENGINEERING (UK) 172 Date: 25 June 2020 Resource language: English Project Details: Project ID The title of the Project Project Funding ID 123188 Science of Sensor System Software 123188 Publisher: University of Liverpool Contact email address: matt@liverpool.ac.uk Last Modified: 07 Jul 2020 11:32

DataCat Staff

Statistics

Available Files

Read me

FiGo models.zip FiGo models.zip FiGo models.zip Visible to: Anyone Content type: README file Metadata Revision: 2 Mime-Type: application/zip License: Creative Commons: Attribution 3.0 File size: 267kB Creative Commons: Attribution 3.0

Metadata Export

MPEG-21 DIDLBibTeXSimple MetadataMETSMODSReference ManagerSimple MetadataAtomSimple MetadataEP3 XMLData Cite XMLOpenURL ContextObject in SpanRDF+XMLOpenURL ContextObjectASCII CitationEndNoteDublin CoreRDF+N-TriplesReferJSONMultiline CSVRDF+N3HTML Citation