Old Web
English
Sign In
Acemap
>
Paper
>
Coherent Extension, Composition, and Merging Operators in Contract Models for System Design
Coherent Extension, Composition, and Merging Operators in Contract Models for System Design
2019
Roberto Passerone
Íñigo Íncer Romeo
Alberto Sangiovanni Vincentelli
Keywords:
Theoretical computer science
Computer science
Parallel computing
Operator (computer programming)
Merge (version control)
Systems design
Correction
Source
Cite
Save
Machine Reading By IdeaReader
34
References
2
Citations
NaN
KQI
[]