Using PRISM model checker as a validation tool for an analytical model of IEEE 802.15.4 networks /

di Kapus, Tatjana.

Analysing the effect of CCA duration in 802.15.4 networks with hidden nodes by using PRISM

di Kapus, Tatjana.

Specifying reversible computations in a state-based setting : presentation at ICT COST Action IC1405, 24th February 2016, Lisbon, Portugal /

di Kapus, Tatjana.

Specifying and verifying external behaviour of fair input/output automata by using the temporal logic of actions /

di Kapus, Tatjana.

Modelling medium access control in IEEE 802.15.4 nonbeacon-enabled networks with probabilistic timed automata /

di Kapus, Tatjana.

Closing a system in the dynamic input/output automata model /

di Kapus, Tatjana.

Uporaba formalne verifikacije za analizo učinkovitosti omrežij /

di Kapus, Tatjana.

Specifying system families with TLA+ /

di Kapus, Tatjana.

Automatic verification of distributed systems using ROBDDs /

di Kapus, Tatjana.
Pubblicazione 1996

Modelling of agent computations using the temporal logic of actions /

di Kapus, Tatjana.

Rapid verification of a traffic light controller using ObjectGEODE /

di Kapus, Tatjana.

Rapid verification of a traffic light controller using ObjectGEODE /

di Kapus, Tatjana.

Mobile agent system specification using the temporal logic actions /

di Kapus, Tatjana.

Specification and verification of a parametric handover procedure using TLA /

di Kapus, Tatjana.

Checking connectivity in mobile system ambients with the temporal logic of actions /

di Kapus, Tatjana.

D. Larrabeiti, J. Quemada, S. Pavon: A practical approach to testing finite state systems : paper review for the 2nd International workshop on Applied formal methods in system desi...

di Kapus, Tatjana.
Pubblicazione 1997

A handover procedure for a mobile stations in TLA+ : paper at the 7th International Workshop on Verification in New Orientations (VINO '98), August 29 - September 2, 1998, Vicosopr...

di Kapus, Tatjana.
Pubblicazione 1998

Reasoning about mobile processes in an ambient using the temporal logic of actions /

di Kapus, Tatjana.

Reasoning about mobile processes in an ambient using the temporal logic of actions

di Kapus, Tatjana.

Specification of synchronous sequential circuits using SDL and ObjectGEODE /

di Kapus, Tatjana.