The following topics are dealt with: reconfigurable architectures; service-oriented architectures; Internet services; formal verification; and software validation.
Publisher :
ieee
Conference_Titel :
Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2015 IEEE 24th International Conference on
