 | 2009 |
|---|
| 8 |       | Tim Kovse,
Bostjan Vlaovic,
Aleksander Vreze,
Zmago Brezocnik:
Eclipse Plug-In for Spin and st2msc Tools-Tool Presentation.
SPIN 2009: 143-147 |
| 7 | | Aleksander Vreze,
Bostjan Vlaovic,
Zmago Brezocnik:
Sdl2pml - Tool for automated generation of Promela model from SDL specification.
Computer Standards & Interfaces 31(4): 779-786 (2009) |
| 2008 |
|---|
| 6 | | Robert Meolic,
Tatjana Kapus,
Zmago Brezocnik:
ACTLW - An action-based computation tree logic with unless operator.
Inf. Sci. 178(6): 1542-1557 (2008) |
| 2007 |
|---|
| 5 | | Bostjan Vlaovic,
Aleksander Vreze,
Zmago Brezocnik,
Tatjana Kapus:
Automated generation of Promela model from SDL specification.
Computer Standards & Interfaces 29(4): 449-461 (2007) |
| 1999 |
|---|
| 4 |  | Tatjana Kapus,
Zmago Brezocnik:
Specifying and Verifying Dataflow Networks in TLA.
Applied Informatics 1999: 544-547 |
| 1997 |
|---|
| 3 | | 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) |
