List of Index: title
- Formal safety validation of mobile robot teleoperation (1)
- Formal safety versus real safety : quantitative and qualitative approaches to safety culture - evidence from Estonia (2)
- Formal specification of block libraries in dataflow languages (2)
- Formal specification of concurrent time-constraint programs (1)
- Formal specification of sensors (1)
- A formal specification smart-contract language for legally binding decentralized autonomous organizations (1)
- Formal synthesis of 9,11-Secosterols (1)
- Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedings (1)
- Formal timing analysis of OMT designs using LIMITS (2)
- Formal verification and error correction on high-level decision diagrams = Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidel (1)
- Formal verification of COLREG-Based Navigation of maritime autonomous systems (1)
- Formal verification of maritime autonomous systems using UPPAAL STRATEGO (1)
- Formal verification of the binary exponential backoff protocol (1)
- Formaliinisisaldav jalahigi kaotamise vahend (1)
- Formalization and validation of the std logic-1164 and numeric-std VHDL packages using the nqthm theorem prover (1)
- Formalization of finite state machines with data path for the verification of high-level synthesis (1)
- Formalizing đťś‹-calculus in guarded cubical Agda (2)
- Formalizing CCS and π-calculus in Guarded Cubical Agda (1)
- Formalizing restriction categories (1)
- Formalizingπ-calculus in guarded cubical agda (1)
- Formal-verification of smart-contract languages : a survey (1)
- Formation and binding of sulphur dioxide by combustion of Estonian oil shale (1)
- Formation and characterization of stable TiO2/CuxO-based solar cells (1)
- Formation and emission of compounds affecting environment (1)
- Formation and growth of Cuâ‚‚ZnSnSâ‚„ monograin powder on molten CdIâ‚‚ = Cuâ‚‚ZnSnSâ‚„ moodustumine ja monoterapulbri kasv CdIâ‚‚ sulafaasi keskkonnas (1)
Number of records 134954, displaying
29151 - 29175