Skip to main navigation
Skip to search
Skip to main content
Teesside University's Research Portal Home
Home
Profiles
Research Units
TeesRep
Student theses
Projects
Datasets
Press / Media
Search by expertise, name or affiliation
Editorial
Richard F. Paige, Phillip J. Brooke
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Editorial'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Alternatives
8%
Class
8%
Concurrency
100%
Concurrent
30%
Concurrent Programming
41%
Correctness
27%
Deadlock
18%
Demonstrate
8%
Embedded Systems
21%
Expressiveness
17%
Formal Methods
18%
Formalization
29%
Generalization
6%
Inclusion
11%
Invariant
7%
Language
20%
Liveness
18%
Locking
18%
Logic
10%
Model
18%
Model Checking
15%
Necessary
9%
Object-orientation
25%
Object-oriented Programming
61%
Parallelism
31%
Policy
13%
Real-time
15%
Reasoning
13%
Relationships
8%
Semantics
47%
Style
13%
System Design
18%
Theorem Proving
16%
Verify
11%
Virtual Machine
26%
Engineering & Materials Science
Embedded systems
19%
Formal methods
23%
Model checking
21%
Object oriented programming
71%
Semantics
56%
Systems analysis
15%
Theorem proving
27%