[IEEE 2015 12th International Symposium on Programming and Systems (ISPS) - Algiers, Algeria (2015.4.28-2015.4.30)] 2015 12th International Symposium on Programming and Systems (ISPS) - Compatibility verification of SysML blocks using hierarchical interface automata
Bouaziz, Hamida, Chouali, Samir, Hammad, Ahmed, Mountassir, HassanYear:
2015
Language:
english
DOI:
10.1109/ISPS.2015.7245002
File:
PDF, 888 KB
english, 2015