Sciweavers

SFM
2011
Springer
253views Formal Methods» more  SFM 2011»
13 years 2 months ago
Application-Layer Connector Synthesis
The heterogeneity characterizing the systems populating the Ubiquitous Computing environment prevents their seamless interoperability. Heterogeneous protocols may be willing to coo...
Paola Inverardi, Romina Spalazzese, Massimo Tivoli
Formal Methods
Top of PageReset Settings