|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Tatjana Kapus |
Closing a System in the Dynamic Input/Output Automata Model.  |
Comput. J.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatjana Kapus |
Using Mobile TLA as a Logic for Dynamic I/O Automata. |
IEICE Transactions |
2009 |
DBLP BibTeX RDF |
|
| 1 | Robert Meolic, Tatjana Kapus, Zmago Brezocnik |
ACTLW - An action-based computation tree logic with unless operator. |
Inf. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik, Tatjana Kapus |
Automated generation of Promela model from SDL specification. |
Computer Standards & Interfaces |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatjana Kapus |
Checking Connectivity in Mobile System Ambients with the Temporal Logic of Actions. |
IEICE Transactions |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatjana Kapus |
Specification and Verification of a Parametric Handover Procedure Using TLA. |
Journal of Circuits, Systems, and Computers |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatjana Kapus |
Mobile Agent System Specification using the Temporal Logic of Actions. |
IASTED Conf. on Software Engineering |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tatjana Kapus, Zmago Brezocnik |
Specifying and Verifying Dataflow Networks in TLA. |
Applied Informatics |
1999 |
DBLP BibTeX RDF |
|
| 1 | Tatjana Kapus, Zmago Brezocnik |
Verification of XTP Context Management Closing Procedure in Style of TLA. |
Sci. Comput. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregor Vrecko, Zmago Brezocnik, Tatjana Kapus, Bogomir Horvat, Andrej Duh |
Microcomputer unit for control of distributed devices over computer networks. |
Journal of Systems Architecture |
1997 |
DBLP BibTeX RDF |
|
| 1 | Tatjana Kapus, Zmago Brezocnik |
TLA-style Specification of a Mobile Network. |
EUROMICRO |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatjana Kapus, Bogomir Horvat, Marjeta Pucko |
A true concurrency semantics for parallel programs. |
Microprocessing and Microprogramming |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatjana Kapus, Bogomir Horvat |
Verifying networks of processes that communicate via shared variables. |
Microprocessing and Microprogramming |
1992 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")