| 2008 |
|---|
| 8 | EE | Robert Meolic,
Tatjana Kapus,
Zmago Brezocnik:
ACTLW - An action-based computation tree logic with unless operator.
Inf. Sci. 178(6): 1542-1557 (2008) |
| 2006 |
|---|
| 7 | EE | Tatjana Kapus:
Checking Connectivity in Mobile System Ambients with the Temporal Logic of Actions.
IEICE Transactions 89-A(11): 3333-3340 (2006) |
| 6 | EE | Tatjana Kapus:
Specification and Verification of a Parametric Handover Procedure Using TLA.
Journal of Circuits, Systems, and Computers 15(6): 881-906 (2006) |
| 2005 |
|---|
| 5 | | Tatjana Kapus:
Mobile Agent System Specification using the Temporal Logic of Actions.
IASTED Conf. on Software Engineering 2005: 319-324 |
| 1999 |
|---|
| 4 | | Tatjana Kapus,
Zmago Brezocnik:
Specifying and Verifying Dataflow Networks in TLA.
Applied Informatics 1999: 544-547 |
| 1997 |
|---|
| 3 | EE | Tatjana Kapus,
Zmago Brezocnik:
TLA-style Specification of a Mobile Network.
EUROMICRO 1997: 440-447 |
| 2 | | Gregor Vrecko,
Zmago Brezocnik,
Tatjana Kapus,
Bogomir Horvat,
Andrej Duh:
Microcomputer unit for control of distributed devices over computer networks.
Journal of Systems Architecture 43(1-5): 81-85 (1997) |
| 1 | | Tatjana Kapus,
Zmago Brezocnik:
Verification of XTP Context Management Closing Procedure in Style of TLA.
Sci. Comput. Program. 29(1-2): 23-52 (1997) |
