Searching - TalTech Research Portal

display

sort

27251

dissertation

Formal concepts in the theory of monotone systems = Formaalsed mõisted monotoonsete süsteemide teooria käsitlusesTorim, Ants2009 https://www.ester.ee/record=b2540617*est

dissertation

27252

book article

Formal development of multi-vessel navigation of maritime autonomous systems using UPPAAL STRATEGOShokri-Manninen, Fatima; Vain, Jüri; Walden, Marina32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 20212021 / 4 p http://icetcs.ru.is/nwpt21/abstracts/paper7.pdf http://icetcs.ru.is/nwpt21/programme.html

book article

27253

journal article EST / journal article ENG

Formal methods based security for cloud-based manufacturing cyber physical systemMuniasamy, Kandasamy; Srinivasan, Seshadhri; Vain, Jüri; Sethumadhavan, M.IFAC-PapersOnLine2019 / p. 1198-1203 https://doi.org/10.1016/j.ifacol.2019.11.361 Conference proceedings at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

27254

book article

Formal safety validation of mobile robot teleoperationVain, Jüri; Suzuki, Satoshi; Kuusik, AlarBEC 2004 : proceedings of the 9th Biennial Baltic Electronics Conference : October 3-6, 2004, Tallinn, Estonia2004 / p. 161-164 : ill

book article

27255

book article

Formal safety versus real safety : quantitative and qualitative approaches to safety culture - evidence from EstoniaJärvis, Marina; Tint, Piia; Virovere, AnuAbstracts of Conference on Occupational Health and Safety : from policies to practice : December 5-7, 2012, Riga, Latvia2012 / p. 30 https://www.researchgate.net/publication/311339419_Formal_Safety_versus_Real_Safety_Quantitative_and_Qualitative_Approaches_to_Safety_Culture_-_Evidence_from_Estonia

book article

27256

journal article

Formal safety versus real safety : quantitative and qualitative approaches to safety culture - evidence from EstoniaJärvis, Marina; Virovere, Anu; Tint, PiiaProceedings of the Latvian Academy of Sciences. Section B, Natural, exact, and applied sciences2016 / p. 269-277 : ill https://doi.org/10.1515/prolas-2016-0042

journal article

27257

book article

Formal specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, Marc7th European Congress Embedded Real-Time Software and Systems, ERTS2 2014 : 5-7 February 2014, Toulouse, France : proceedings2014 / [10] p. : ill

book article

27258

book article

Formal specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, MarcInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK seitsmenda aastakonverentsi artiklite kogumik : 15.-16. novembril 2013, Haapsalu2013 / p. 17-19 : ill

book article

27259

book article

Formal specification of concurrent time-constraint programsMõtus, LeoEesti teadlaste kongress, 11.-15. augustini 1996. a. Tallinnas : ettekannete kokkuvõtted1996 / lk. 267 https://www.ester.ee/record=b1052731*est

book article

27260

book article

Formal specification of sensorsKuusik, Alar; Vain, JüriRinghääling '99 : VI Rahvusvahelise Telekommunikatsioonipäeva konverentsi ettekannete materjalid1999 / lk. 80-83

book article

27261

journal article EST / journal article ENG

A formal specification smart-contract language for legally binding decentralized autonomous organizationsDwivedi, Vimal Kumar; Norta, Alexander; Wulf, Alexander; Leiding, Benjamin; Saxena, Sandeep; Udokwu, ChibuzorIEEE Access2021 / 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

journal article EST / journal article ENG

Seotud publikatsioonid 1

A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus

27262

book

Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedingsDerrick, John; Vain, Jüri2007 https://www.ester.ee/record=b2286028*est

book

27263

book article

Formal timing analysis of OMT designs using LIMITSMõtus, Leo; Näks, TõnuThird International Workshop on Object-Oriented Real-Time Dependable Systems, February5-7, 1997, Newport Beach, California, USA1997 / p. 137-144

book article

27264

journal article

Formal timing analysis of OMT designs using LIMITSMõtus, Leo; Näks, TõnuComputer systems science and engineering1998 / 3, p. 161-170 : ill

journal article

27265

dissertation

Formal verification and error correction on high-level decision diagrams = Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidelKarputkin, Anton2012

dissertation

27266

book article EST / book article ENG

Formal verification of COLREG-Based Navigation of maritime autonomous systemsShokri-Manninen, Fatima; Vain, Jüri; Walden, MarinaSoftware Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings2020 / 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

book article EST / book article ENG

27267

book article

Formal verification of maritime autonomous systems using UPPAAL STRATEGOShokri-Manninen, Fatima; Vain, Jüri; Walden, Marina31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 58-61 : ill https://doi.org/10.23658/taltech.nwpt/2019

book article

27268

journal article

Formal verification of the binary exponential backoff protocolHooman, JozefProceedings of the Estonian Academy of Sciences. Engineering1998 / 2, p. 89-105

journal article

27269

journal article

Formaliinisisaldav jalahigi kaotamise vahendDrogistide Teataja1929 / 7, 1 lk

journal article

27270

book article

Formalization and validation of the std logic-1164 and numeric-std VHDL packages using the nqthm theorem proverDušina, Julia; Borrione, Dominique2nd Workshop on Libraries, Component Modeling and Quality Assurance : proceedings : Toledo, Spain, April, 19971997 / p. 169-180

book article

27271

book article

Formalization of finite state machines with data path for the verification of high-level synthesisBorrione, Dominique; Dušina, Julia; Pierre, LaurenceXI Brasilian Symposium on Integrated Circuit Design, September 30 - October 3, 1998, Rio de Janeiro, Brazil : proceedings1998 / p. 99-102: ill

book article

27272

book article

Formalizing 𝜋-calculus in guarded cubical AgdaVeltri, Niccolo; Vezzosi, AndreaCPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 20202020 / p. 270–283 https://doi.org/10.1145/3372885.3373814

book article

27273

book article

Formalizing 𝜋-calculus in guarded cubical AgdaVeltri, Niccolo; Vezzosi, AndreaCPP 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 20202020 / p. 270-283 https://doi.org/10.1145/3372885.3373814

book article

27274

journal article EST / journal article ENG

Formalizing CCS and π-calculus in Guarded Cubical AgdaVeltri, Niccolo; Vezzosi, AndreaJournal of logical and algebraic methods in programming2023 / 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

journal article EST / journal article ENG

27275

journal article

Formalizing restriction categoriesChapman, James; Uustalu, Tarmo; Veltri, NiccoloJournal of formalized reasoning2017 / p. 1-36 https://doi.org/10.6092/issn.1972-5787/6237

journal article

types of item