|
[GBKF16]
Safa Guellouz, Adel Benzina, Mohamed Khalgui, Georg Frey.
ZiZo: A Complete Tool Chain for the Modeling and Verification of Reconfigurable Function Blocks.
In Proc. 10th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM'16).
2016.
[Presents a tool-chain for modelling and verification of reconfigurable distributed system, using PRISM as a back-end verifier.]
|
|
Links:
[Google]
[Google Scholar]
|