Concepedia

Tatjana Kapus

TK

Statistics

Publications

4

Citations

54

H-Index

4

Active since

2000

Affiliations

University of Maribor(Current)

Tatjana Kapus is an author at University of Maribor specializing in engineering, systems engineering, and computer engineering.

ORCID

Top concepts

Publications per year

2000–2017

4

Publications

4

ACTLW – An action-based computation tree logic with unless operator

Robert Meolic, Tatjana Kapus, Zmago Brezočnik · Information Sciences · 2007 · 20 citations

, , +6

Automated generation of Promela model from SDL specification

Boštjan Vlaovič, Aleksander Vreže, Zmago Brezočnik et al. · Computer Standards & Interfaces · 2006 · 13 citations

, , +11

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

Tatjana Kapus · Simulation Modelling Practice and Theory · 2017 · 11 citations

, , +11

VERIFICATION OF CONCURRENT SYSTEMS USING ACTL

Robert Meolic, Tatjana Kapus, Zmago Brezo · 2000 · 10 citations

1–4 of 4