Trace Semantics and Refinement Patterns for Real-Time Properties in Event-B Models
Science of Computer Programming（2020）
Key words
Event-B,Trace semantics,Refinement semantics,Discrete time modeling,Hiding operator
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined