Skip to main navigation
Skip to search
Skip to main content
University of Hertfordshire (Research Profiles) Home
Home
Profiles
Research output
Projects
Research units
Search by expertise, name or affiliation
A review of twenty formal specification notations
R.J. Vinter
Research output
:
Book/Report
›
Other report
37
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A review of twenty formal specification notations'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Algebraic Domain
50%
Formal Methods
50%
Formal Notation
100%
Formal Specification
100%
Hertfordshire
50%
Human Cognition
50%
Method Study
50%
Process Algebra
50%
Research Theory
50%
State-based
50%
Social Sciences
Human Cognition
100%
Intellectuals
100%
Research Project
100%
Engineering
Formal Method
100%
Main Purpose
100%
Research Project
100%
Arts and Humanities
Designer
33%
Formal Method
33%
Hertfordshire
33%
Intellectuals
33%
Research Project
33%
Review
100%
Psychology
Human Cognition
100%