Piotr Szwed. Efficiency of formal verification of ArchiMate business processes with NuSMV model checker. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, 2015 Federated Conference on Computer Science and Information Systems, FedCSIS 2015, Lódz, Poland, September 13-16, 2015. pages 1427-1436, IEEE, 2015. [doi]
Abstract is missing.