Vol. 40 No. 2 (2016)

Published: 2016-12-09

Cover

Cover pages

Alen Lovrenčić
- PDF

Editor's Section

From the Editor

Alen Lovrenčić
- PDF
Publication Ethics; List of Reviewers; Instructions for Authors

Alen Lovrenčić
- PDF

Articles

MATT: Multi Agents Testing Tool Based Nets within Nets

Sara Kerraoui, Yacine Kissoum, Mohammed Redjimi, Moussa Saker
- PDF
Agent-Based Modelling applied to 5D model of the HIV infection

Toufik Laroum, Bornia Tiguiouart, Mohammed Redjimi
- PDF
Categorical model of structural operational semantics for imperative language

William Steingartner, Valerie Novitzká
- PDF
Enhancing Formal Methods Integration with ACP2Petri

Slavomír Šimoňák, Martin Šolc
- PDF
Performance Measurement of Complex Event Platforms

Eva Zámečníková, Jitka Kreslíková
- PDF