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

Sadržaj

Puni tekst

From the Editor (str. III-III)

Alen Lovrenčić
Uvodnik

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

Sara Kerraoui, Yacine Kissoum, Mohammed Redjimi, Moussa Saker
Prethodno priopćenje

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

Toufik Laroum, Bornia Tighiouart, Mohammed Redjimi
Prethodno priopćenje

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

William Steingartner, Valerie Novitzká
Izvorni znanstveni članak

Enhancing Formal Methods Integration with ACP2Petri (str. 221-235)

Slavomír Šimoňák, Martin Šolc
Izvorni znanstveni članak

Performance Measurement of Complex Event Platforms (str. 237-254)

Eva Zámečníková, Jitka Kreslíková
Izvorni znanstveni članak

Posjeta: 8.587 *