Thematic series on Verification and Composition for the Internet of Services and Things
Abstract ■■■ The Internet of Services and Things is characterized as a distributed computing environment that will be populated by a large number of software services and things. Within this context, software systems will increasingly be built by reusing and composing together software services and...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
SpringerOpen
2018-04-01
|
| Series: | Journal of Internet Services and Applications |
| Online Access: | http://link.springer.com/article/10.1186/s13174-018-0080-9 |