A study on configuration and integration of sub-systems to system-of-systems with rule verification

Category

Published in:

Engineering
Vol. 7 (26.10.2015), p. 625-643

Volume:

7

Date Issued:

26.10.2015

DOI:

10.4236/eng.2015.710056

PPN:

839464185

Language:

English

Type of Resource:

Text

Keywords:

System-of-Systems; CBSE; Verification; Model Checking; UPPAAL

DDC subject of DNB:

004 Data processing Computer sciences

URL:

http://dx.doi.org/10.4236/eng.2015.710056

Hosting institution:

Faculty of Mathematics/Computer Science and Mechanical Engineering, Institute of Computer Science