Brunel University Research Archive (BURA) >

Browsing by Author Hierons, RM

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 112 to 114 of 114
< previous 
Issue DateTitleAuthor(s)
2002VADA: A transformation-based system for variable dependence analysisHarman, M; Fox, C; Hierons, RM; Hu, L; Danicic, S, et al
2008Verdict functions in testing with a fault domain or test hypothesesHierons, RM
2013Verifying and comparing finite state machines for systems that have distributed interfacesHierons, RM
Showing results 112 to 114 of 114
< previous