Skip to main navigation
Skip to search
Skip to main content
Aberystwyth Research Portal Home
Help & FAQ
English
Welsh
Home
Researchers
Organisations
Research outputs
Theses
Impacts
Datasets
Projects
Equipment
Press/Media
Activities
Prizes
Search by expertise, name or affiliation
Formal Specification of the Internet of Things
Edel Sherratt
Department of Computer Science
Research output
:
Contribution to conference
›
Abstract
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Formal Specification of the Internet of Things'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
State Machine
100%
Application
100%
Formal Definition
50%
Specifications
50%
Communicating Device
25%
Formal Specification
25%
Testing
25%
Records
25%
Real World
25%
Roles
25%
Standards
25%
Telecommunication System
25%
Algebraic Specifications
25%
Textual Language
25%
Model of Computation
25%
Generation
25%
Data Analysis
25%
External System
25%
Embedded Systems
25%
Future Direction
25%