2011-12-06
Model checking of component connectors
Publication
Publication
Additional Metadata | |
---|---|
F. Arbab (Farhad) , A. Movaghar (Ali) | |
Universiteit Leiden | |
Organisation | Computer Security |
Izadi, M. (2011, December 6). Model checking of component connectors. |