Skip to main navigation
Skip to search
Skip to main content
The University of Brighton Home
Home
Profiles
Research units
Equipment
Projects
Research output
Activities
Student theses
Search by expertise, name or affiliation
Diagrams and intuitive formal specifications
James Burton
University of Brighton
Research output
:
Contribution to conference
›
Abstract
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Diagrams and intuitive formal specifications'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Programmer
100%
Expressive Power
100%
Reasoning Tasks
100%
Formal Specification
100%
Formal Software Specification
100%
Formal Methods
100%
Diagrammatic Specification
100%
Computer Science
Expressive Power
100%
Software Specification
100%
Reasoning Task
100%
Formal Specification
100%
Great Number
100%