Paper Info
Title
Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling.
Year
DOI
Venue
2013
10.1007/978-3-319-05416-2_16
FTSCS
Field
DocType
Citations 
Life-critical system,Software engineering,Tree diagram,Computer science,Requirements engineering,Requirements analysis,KAOS,Diagram,Software requirements specification
Conference
1
PageRank 
References 
Authors
0.39
12
2
Name
Order
Citations
PageRank
Kriangkrai Traichaiyaporn131.13
Toshiaki Aoki212.08