Vol. 58 No. 1 (2014)

Published: 2014-04-07

Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets

András Vörös, Dániel Darvas, Attila Jámbor, Tamás Bartha

3-13
- PDF
Scheduling data transmissions in wireless sensor networks used for position tracking

Péter Györke, Béla Pataki

15-22
- PDF
Derivation of Equations for Conductor and Sag Curves of an Overhead Line Based on a Given Catenary Constant

Alen Hatibovic

23-27
- PDF
Model-based Angiogenic Inhibition of Tumor Growth using Adaptive Fuzzy Techniques

Annamária Szeles, Dániel András Drexler, Johanna Sápi, István Harmati, Levente Kovács

29-36
- PDF