ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login
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

  1. MATT: Multi Agents Testing Tool Based Nets within Nets

    Authors: Sara Kerraoui; Yacine Kissoum; Mohammed Redjimi; Moussa Saker

  2. Agent-Based Modelling Applied to 5D Model of the HIV Infection

    Authors: Toufik Laroum; Bornia Tighiouart; Mohammed Redjimi

  3. Categorical Model of Structural Operational Semantics for Imperative Language

    Authors: William Steingartner; Valerie Novitzká

  4. Enhancing Formal Methods Integration with ACP2Petri

    Authors: Slavomír Šimoňák; Martin Šolc

  5. Performance Measurement of Complex Event Platforms

    Authors: Eva Zámečníková; Jitka Kreslíková