Toggle navigation
Search
Collections
Indexes
FAQ
Digikogu
Search
Collections
Indexes
FAQ
Intranet
Logi sisse
Select collection
select all
remove selection
annual reports of research & development activities
articles
bachelor's theses
conference proceedings
digitized periodicals
diploma theses
dissertations
history of TalTech
IOP
library publications
master's theses
pre-dissertations
research reports
standards
textbooks and teaching materials
transactions of TalTech
varia
title
author/supervisor/editor
structural unit
keyword
publication year
-
Sort by
author A-Z
author Z-A
publishing year asc
publishing year desc
title A-Z
title Z-A
Index
Tekko, Jaanus - author
find full texts
Apply
items found: 5
1.
A formal model for the language LSD and calculus CSD
Tekko, Jaanus
1991
research reports
2.
The language LSD and calculus CSD - tools for embedded system specification
Tekko, Jaanus
1991
research reports
3.
Some problems in timing analysis of the specification
Tekko, Jaanus
1993
research reports
4.
Comparison of the modelling power of Petri-nets and Q-model
Tekko, Jaanus
1994
research reports
5.
A model-theoretic study of the calculus for systems description
Tekko, Jaanus; Uustalu, Tarmo; Lorents, Peeter
1990
research reports
items found: 5
1