Efficiency of formal verification of ArchiMate business processes with NuSMV model checker.

Piotr Szwed

Browse the full FedCSIS paper archive.