Export Citations
1 Results for: Keyword: interface theories
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,774,380 records)|Limit your search to The ACM Full-Text Collection (761,092 records)
- research-articleSeptember 2015
Parametrised Modal Interface Automata
ACM Transactions on Embedded Computing Systems (TECS), Volume 14, Issue 4Article No.: 65, Pages 1–25https://doi.org/10.1145/2776892Interface theories (ITs) enable us to analyse the compatibility interfaces and refine them while preserving their compatibility. However, most ITs are for finite state interfaces, whereas computing systems are often parametrised involving components, ...