dr. Tatjana Kapus [00873]

1. KAPUS, Tatjana. Modelling medium access control in IEEE 802.15.4 nonbeacon-enabled networks with probabilistic timed automata. Journal of mobile information systems. [Print ed.]. 2013, vol. 9, no. 2, str. 157-188. ISSN 1574-017X. https://dk.um.si/IzpisGradiva.php?id=66217, https://dk.um.si/IzpisGradiva.php?id=66217. [COBISS.SI-ID 16807958]

2. KAPUS, Tatjana. Closing a system in the dynamic input/output automata model. The Computer journal. 2011, vol. 54, no. 7, str. 1038-1048. ISSN 0010-4620. DOI: 10.1093/comjnl/bxq047. [COBISS.SI-ID 14173206]

3. KAPUS, Tatjana. Using mobile TLA as a logic for dynamic I/O automata. IEICE transactions on information and systems\. Aug. 2009, vol. e92-d, no. 8, str. 1515-1522. ISSN 0916-8532. DOI: 10.1587/transinf.E92.D.1515. [COBISS.SI-ID 13417750]

4. MEOLIC, Robert, KAPUS, Tatjana, BREZOČNIK, Zmago. ACTLW - an action-based computation tree logic with unless operator. Information sciences. [Print ed.]. 2008, vol. 178, iss. 6, str. 1542-1557. ISSN 0020-0255. http://dx.doi.org/10.1016/j.ins.2007.10.023, https://dk.um.si/IzpisGradiva.php?id=27412. [COBISS.SI-ID 12047638]

5. KAPUS, Tatjana. Specification and verification of a parametric handover procedure using TLA. Journal of circuits, systems, and computers. Dec. 2006, vol. 15, no. 6, str. 881-906. ISSN 0218-1266. [COBISS.SI-ID 11418902]

6. KAPUS, Tatjana. Specification of synchronous sequential circuits using SDL and ObjectGEODE. Computer standards & interfaces. [Print ed.]. 2002, vol. 24, str. 257-274. ISSN 0920-5489. [COBISS.SI-ID 7291926]

7. ČASAR, Aleš, BREZOČNIK, Zmago, KAPUS, Tatjana. Exploiting symbolic model checking for sensing stuck-at faults in digital circuits. Informacije MIDEM : časopis za mikroelektroniko, elektronske sestavne dele in materiale. [Tiskana izd.]. september 2002, letn. 32, št. 3, str. 171-180. ISSN 0352-9045. http://www.dlib.si/details/URN:NBN:SI:doc-DH1QX1KZ. [COBISS.SI-ID 7703318]