Majidi F, Harounabadi A. Presentation of an executable model for evaluation of software architecture using blackboard technique and formal models. JACST [Internet]. 2015 Jan. 16 [cited 2024 Apr. 30];4(1):23-31. Available from: https://sciencepubco.com/index.php/JACST/article/view/3982