ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
implementation relation
Recently Published Documents
TOTAL DOCUMENTS
4
(FIVE YEARS 1)
H-INDEX
2
(FIVE YEARS 0)
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
An Implementation Relation for Cyclic Systems with Refusals and Discrete Time
Software Engineering and Formal Methods - Lecture Notes in Computer Science
◽
10.1007/978-3-030-30446-1_21
◽
2019
◽
pp. 393-409
Author(s):
Raluca Lefticaru
◽
Robert M. Hierons
◽
Manuel Núñez
Keyword(s):
Discrete Time
◽
Implementation Relation
◽
Cyclic Systems
Download Full-text
A More Precise Implementation Relation for Distributed Testing
The Computer Journal
◽
10.1093/comjnl/bxv057
◽
2015
◽
pp. bxv057
Author(s):
Robert M. Hierons
Keyword(s):
Distributed Testing
◽
Implementation Relation
Download Full-text
An Implementation Relation and Test Framework for Timed Distributed Systems
Testing Software and Systems - Lecture Notes in Computer Science
◽
10.1007/978-3-642-41707-8_6
◽
2013
◽
pp. 82-97
◽
Cited By ~ 5
Author(s):
Christophe Gaston
◽
Robert M. Hierons
◽
Pascale Le Gall
Keyword(s):
Distributed Systems
◽
Implementation Relation
◽
Test Framework
Download Full-text
Action refinement as an implementation relation
TAPSOFT '97: Theory and Practice of Software Development - Lecture Notes in Computer Science
◽
10.1007/bfb0030640
◽
1997
◽
pp. 772-786
◽
Cited By ~ 12
Author(s):
Arend Rensink
◽
Roberto Gorrieri
Keyword(s):
Action Refinement
◽
Implementation Relation
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close