Journal of Information and Organizational Sciences, Vol. 40 No. 2, 2016.

Table of contents

Full text

From the Editor (page III-III)

Alen Lovrenčić
Editorial

MATT: Multi Agents Testing Tool Based Nets within Nets (page 165-184)

Sara Kerraoui, Yacine Kissoum, Mohammed Redjimi, Moussa Saker
Preliminary communication

Agent-Based Modelling Applied to 5D Model of the HIV Infection (page 185-201)

Toufik Laroum, Bornia Tighiouart, Mohammed Redjimi
Preliminary communication

Categorical Model of Structural Operational Semantics for Imperative Language (page 203-219)

William Steingartner, Valerie Novitzká
Original scientific paper

Enhancing Formal Methods Integration with ACP2Petri (page 221-235)

Slavomír Šimoňák, Martin Šolc
Original scientific paper

Performance Measurement of Complex Event Platforms (page 237-254)

Eva Zámečníková, Jitka Kreslíková
Original scientific paper

Visits: 8.752 *