Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
130952
Vaata veel..
Ekspordi
ekspordi kõik päringu tulemused
(1000*)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
27251
dissertatsioon
Formal concepts in the theory of monotone systems = Formaalsed mõisted monotoonsete süsteemide teooria käsitluses
Torim, Ants
2009
https://www.ester.ee/record=b2540617*est
dissertatsioon
27252
artikkel kogumikus
Formal development of multi-vessel navigation of maritime autonomous systems using UPPAAL STRATEGO
Shokri-Manninen, Fatima
;
Vain, Jüri
;
Walden, Marina
32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 2021
2021
/
4 p
http://icetcs.ru.is/nwpt21/abstracts/paper7.pdf
http://icetcs.ru.is/nwpt21/programme.html
artikkel kogumikus
27253
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Formal methods based security for cloud-based manufacturing cyber physical system
Muniasamy, Kandasamy
;
Srinivasan, Seshadhri
;
Vain, Jüri
;
Sethumadhavan, M.
IFAC-PapersOnLine
2019
/
p. 1198-1203
https://doi.org/10.1016/j.ifacol.2019.11.361
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
27254
artikkel kogumikus
Formal safety validation of mobile robot teleoperation
Vain, Jüri
;
Suzuki, Satoshi
;
Kuusik, Alar
BEC 2004 : proceedings of the 9th Biennial Baltic Electronics Conference : October 3-6, 2004, Tallinn, Estonia
2004
/
p. 161-164 : ill
artikkel kogumikus
27255
artikkel kogumikus
Formal safety versus real safety : quantitative and qualitative approaches to safety culture - evidence from Estonia
Järvis, Marina
;
Tint, Piia
;
Virovere, Anu
Abstracts of Conference on Occupational Health and Safety : from policies to practice : December 5-7, 2012, Riga, Latvia
2012
/
p. 30
https://www.researchgate.net/publication/311339419_Formal_Safety_versus_Real_Safety_Quantitative_and_Qualitative_Approaches_to_Safety_Culture_-_Evidence_from_Estonia
artikkel kogumikus
27256
artikkel ajakirjas
Formal safety versus real safety : quantitative and qualitative approaches to safety culture - evidence from Estonia
Järvis, Marina
;
Virovere, Anu
;
Tint, Piia
Proceedings of the Latvian Academy of Sciences. Section B, Natural, exact, and applied sciences
2016
/
p. 269-277 : ill
https://doi.org/10.1515/prolas-2016-0042
artikkel ajakirjas
27257
artikkel kogumikus
Formal specification of block libraries in dataflow languages
Dieumegard, Arnaud
;
Toom, Andres
;
Pantel, Marc
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK seitsmenda aastakonverentsi artiklite kogumik : 15.-16. novembril 2013, Haapsalu
2013
/
p. 17-19 : ill
artikkel kogumikus
27258
artikkel kogumikus
Formal specification of block libraries in dataflow languages
Dieumegard, Arnaud
;
Toom, Andres
;
Pantel, Marc
7th European Congress Embedded Real-Time Software and Systems, ERTS2 2014 : 5-7 February 2014, Toulouse, France : proceedings
2014
/
[10] p. : ill
artikkel kogumikus
27259
artikkel kogumikus
Formal specification of concurrent time-constraint programs
Mõtus, Leo
Eesti teadlaste kongress, 11.-15. augustini 1996. a. Tallinnas : ettekannete kokkuvõtted
1996
/
lk. 267
https://www.ester.ee/record=b1052731*est
artikkel kogumikus
27260
artikkel kogumikus
Formal specification of sensors
Kuusik, Alar
;
Vain, Jüri
Ringhääling '99 : VI Rahvusvahelise Telekommunikatsioonipäeva konverentsi ettekannete materjalid
1999
/
lk. 80-83
artikkel kogumikus
27261
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A formal specification smart-contract language for legally binding decentralized autonomous organizations
Dwivedi, Vimal Kumar
;
Norta, Alexander
;
Wulf, Alexander
;
Leiding, Benjamin
;
Saxena, Sandeep
;
Udokwu, Chibuzor
IEEE Access
2021
/
p. 76069−76082 : ill
https://doi.org/10.1109/ACCESS.2021.3081926
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus
27262
raamat
Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedings
Derrick, John
;
Vain, Jüri
2007
https://www.ester.ee/record=b2286028*est
raamat
27263
artikkel ajakirjas
Formal timing analysis of OMT designs using LIMITS
Mõtus, Leo
;
Näks, Tõnu
Computer systems science and engineering
1998
/
3, p. 161-170 : ill
artikkel ajakirjas
27264
artikkel kogumikus
Formal timing analysis of OMT designs using LIMITS
Mõtus, Leo
;
Näks, Tõnu
Third International Workshop on Object-Oriented Real-Time Dependable Systems, February5-7, 1997, Newport Beach, California, USA
1997
/
p. 137-144
artikkel kogumikus
27265
dissertatsioon
Formal verification and error correction on high-level decision diagrams = Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidel
Karputkin, Anton
2012
dissertatsioon
27266
artikkel kogumikus EST
/
artikkel kogumikus ENG
Formal verification of COLREG-Based Navigation of maritime autonomous systems
Shokri-Manninen, Fatima
;
Vain, Jüri
;
Walden, Marina
Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings
2020
/
p. 41-59
https://doi.org/10.1007/978-3-030-58768-0_3
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
27267
artikkel kogumikus
Formal verification of maritime autonomous systems using UPPAAL STRATEGO
Shokri-Manninen, Fatima
;
Vain, Jüri
;
Walden, Marina
31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts
2019
/
p. 58-61 : ill
https://doi.org/10.23658/taltech.nwpt/2019
artikkel kogumikus
27268
artikkel ajakirjas
Formal verification of the binary exponential backoff protocol
Hooman, Jozef
Proceedings of the Estonian Academy of Sciences. Engineering
1998
/
2, p. 89-105
artikkel ajakirjas
27269
artikkel ajakirjas
Formaliinisisaldav jalahigi kaotamise vahend
Drogistide Teataja
1929
/
7, 1 lk
artikkel ajakirjas
27270
artikkel kogumikus
Formalization and validation of the std logic-1164 and numeric-std VHDL packages using the nqthm theorem prover
Dušina, Julia
;
Borrione, Dominique
2nd Workshop on Libraries, Component Modeling and Quality Assurance : proceedings : Toledo, Spain, April, 1997
1997
/
p. 169-180
artikkel kogumikus
27271
artikkel kogumikus
Formalization of finite state machines with data path for the verification of high-level synthesis
Borrione, Dominique
;
Dušina, Julia
;
Pierre, Laurence
XI Brasilian Symposium on Integrated Circuit Design, September 30 - October 3, 1998, Rio de Janeiro, Brazil : proceedings
1998
/
p. 99-102: ill
artikkel kogumikus
27272
artikkel kogumikus
Formalizing 𝜋-calculus in guarded cubical Agda
Veltri, Niccolo
;
Vezzosi, Andrea
CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, New Orleans 20 January 2020 through 21 January 2020
2020
/
p. 270-283
https://doi.org/10.1145/3372885.3373814
artikkel kogumikus
27273
artikkel kogumikus
Formalizing 𝜋-calculus in guarded cubical Agda
Veltri, Niccolo
;
Vezzosi, Andrea
CPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 2020
2020
/
p. 270–283
https://doi.org/10.1145/3372885.3373814
artikkel kogumikus
27274
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Formalizing CCS and π-calculus in Guarded Cubical Agda
Veltri, Niccolo
;
Vezzosi, Andrea
Journal of logical and algebraic methods in programming
2023
/
art. 100846
https://doi.org/10.1016/j.jlamp.2022.100846
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
27275
artikkel ajakirjas
Formalizing restriction categories
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolo
Journal of formalized reasoning
2017
/
p. 1-36
https://doi.org/10.6092/issn.1972-5787/6237
artikkel ajakirjas
Kirjeid leitud 130952, kuvan
27251 - 27275
eelmine
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
järgmine
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT