Archived Papers for Journal
Journal of Information and Organizational Sciences (JIOS) >>
Vol.40, No.2
Publisher: Faculty of Organization and Informatics, University of Zagreb, Croatia
Publishing Date: 2016-12-09
- MATT: Multi Agents Testing Tool Based Nets within NetsAuthors: Sara Kerraoui; Yacine Kissoum; Mohammed Redjimi; Moussa Saker
- Agent-Based Modelling Applied to 5D Model of the HIV InfectionAuthors: Toufik Laroum; Bornia Tighiouart; Mohammed Redjimi
- Categorical Model of Structural Operational Semantics for Imperative LanguageAuthors: William Steingartner; Valerie Novitzká
- Enhancing Formal Methods Integration with ACP2PetriAuthors: Slavomír Šimoňák; Martin Šolc
- Performance Measurement of Complex Event PlatformsAuthors: Eva Zámečníková; Jitka Kreslíková