Skip to main navigation
Skip to search
Skip to main content
University of Hertfordshire (Research Profiles) Home
Home
Researchers
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
Formal Notation
100%
Formal Specification
100%
Hertfordshire
50%
State-based
50%
Method Study
50%
Process Algebra
50%
Formal Methods
50%
Research Theory
50%
Human Cognition
50%
Algebraic Domain
50%
Social Sciences
Human Cognition
100%
Research Project
100%
Intellectuals
100%
Engineering
Main Purpose
100%
Research Project
100%
Formal Method
100%
Arts and Humanities
Review
100%
Designer
33%
Intellectuals
33%
Hertfordshire
33%
Research Project
33%
Formal Method
33%
Psychology
Human Cognition
100%