English
Français
Search
Browse Collections
Help
English
Français
login
login
Home
> >
Architecture-based Design: A Satellite On-board Software Case Study
> Access to Fulltext
Information
Usage statistics
Files
Architecture-based Design: A Satellite On-board So[...]
-
Mavridou, Anastasia
et al
additional
file(s):
CubETH-BIPmodel
version 1
CubETH-BIPmodel.zip
[18.63 KB]
27 Jan 2018, 12:52
BIP models
BIP models
CubETH-SMVmodel
version 1
CubETH-SMVmodel.zip
[31.37 KB]
27 Jan 2018, 12:47
NuXmv models
NuXmv models
main
file(s):
CubETHUseCase
version 1
CubETHUseCase.pdf
[1.01 MB]
27 Jan 2018, 12:49
n/a
n/a