Toggle navigation
Otsi
Publikatsioonid
Profiilid
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
formal specification (võtmesõna)
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
Tühista
teaviku laadid
raamat
artikkel ajakirjas
artikkel ajalehes
artikkel kogumikus
dissertatsioon
Open Access
Teaduspublikatsioon
aasta
Kirjeid leitud
2
Vaata veel..
(3/116)
Ekspordi
ekspordi kõik päringu tulemused
(2)
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
nimi kasvavalt
nimi kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
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
2
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
Kirjeid leitud 2, kuvan
1 - 2
pealkiri
75
1.
A formal specification smart-contract language for legally binding decentralized autonomous organizations
2.
Formal specification of block libraries in dataflow languages
3.
Formal specification of concurrent time-constraint programs
4.
Formal specification of sensors
5.
Specification and formal analysis of real-time software in Conrad
6.
A formal model for automated technological system
7.
A meta-language for specification of evolving class and object lattices in object-oriented databases
8.
A method and a tool for formal timing analysis of OMT design
9.
A new formal subdivision of the Holocene Series/Epoch in Estonia
10.
A semi-formal method for security estimation
11.
An operational specification model for process control software
12.
Are more formal performance management systems more successful?
13.
Bituumen ja bituumensideained. Polümeermodifitseeritud bituumenite määratlemise alused = Bitumen and bituminous binders. Specification framework for polymer modified bitumens
14.
Combining conceptual modelling and formal methods to design control systems
15.
Comparison of performance-based specification properties for asphalt binders sourced from around the world
16.
Description and processing of structured objects using formal grammars : a thesis submitted to the Tallinn Technical Univ. in candidature for the degree of master of technics = Grammatilised formalismid struktuursete obj
17.
Design understanding : from logic to specification
18.
Ehituslik põletatud põlevkivi [Võrguteavik] : spetsifikatsioon, toimivus ja vastavus = Burnt shale for building materials : specification, performance and conformity
19.
Environmental management systems. Specification with guidance for use
20.
Formal and informal macro-regional transport clusters as a primary step in the design and implementation of cluster-based strategies
21.
Formal and informal macro-regional transport clusters as primary tools for ensuring stable competitiveness of the Baltic Sea region
22.
Formal and physical consideration of magnetic flux in inductor with ferromagnetic core
23.
Formal cluster formation in the development of the transport sector in the Baltic Sea macro-region = Formaalse klastri kujunemine Läänemere makroregiooni transpordisektori arengus
24.
Formal concepts in the theory of monotone systems = Formaalsed mõisted monotoonsete süsteemide teooria käsitluses
25.
Formal development of multi-vessel navigation of maritime autonomous systems using UPPAAL STRATEGO
26.
Formal methods based security for cloud-based manufacturing cyber physical system
27.
Formal safety validation of mobile robot teleoperation
28.
Formal safety versus real safety : quantitative and qualitative approaches to safety culture - evidence from Estonia
29.
Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedings
30.
Formal timing analysis of OMT designs using LIMITS
31.
Formal verification and error correction on high-level decision diagrams = Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidel
32.
Formal verification of COLREG-Based Navigation of maritime autonomous systems
33.
Formal verification of maritime autonomous systems using UPPAAL STRATEGO
34.
Formal verification of the binary exponential backoff protocol
35.
Formal-verification of smart-contract languages : a survey
36.
High-level specification of games
37.
Let us investigate! Dynamic conjecture-making as the formal logic of abduction
38.
Mapping social structures by formal non-linear information processing methods : case studies of Estonian islands environments = Sotsiaalsete struktuuride kaardistamine formaalsete mittelineaarsete infotöötluse meetoditeg
39.
Metallide keevitusprotseduuride spetsifitseerimine ja atesteerimine : keevitusprotseduuri katse. Osa 1, Teraste gaas- ja kaarkeevitus ning nikli ja niklisulamite kaarkeevitus = Specification and qualification of welding
40.
Metallide keevitusprotseduuride spetsifitseerimine ja atesteerimine : keevitusprotseduuri katse. Osa 2, Alumiiniumi ja selle sulamite kaarkeevitus = Specification and qualification of welding procedures for metallic mate
41.
Metallide keevitusprotseduuride spetsifitseerimine ja atesteerimine [Võrguteavik] : keevitusprotseduuri katse. Osa 1, Teraste kaar- ja gaaskeevitus ning nikli ja niklisulamite kaarkeevitus = Specification and qualificati
42.
Metallide keevitusprotseduuride spetsifitseerimine ja atesteerimine. Keevitusprotseduuri katse. Osa 1, Teraste gaas- ja kaarkeevitus ning nikli ja niklisulamite kaarkeevitus = Specification and qualification of welding p
43.
Metallide keevitusprotseduuride spetsifitseerimine ja kvalifitseerimine [Võrguteavik] : keevitusprotseduuri katse. Osa 1, Teraste kaar- ja gaaskeevitus ning nikli ja niklisulamite kaarkeevitus = Specification and qualifi
44.
Metallide keevitusprotseduuride spetsifitseerimine ja kvalifitseerimine [Võrguteavik] : üldreeglid = Specification and qualification of welding procedures for metallic materials : general rules (ISO 15607:2019)
45.
Mis on "specification" eesti keeles
46.
OHSAS 18001 contribution to real and formal safety elements in safety management system in manufacturing
47.
On specification and evaluation of object-relational data models
48.
Põletatud põlevkivi plastitööstusele [Võrguteavik] : spetsifikatsioonid ja vastavuskriteeriumid = Burnt shale for productions of plastics : specification and conformity criteria
49.
Real-time behaviour verification, animation and monitoring starting from DCCS specification
50.
Requirements elicitation and specification using the agent paradigm : the case study of an aircraft turnaround simulator
51.
Scheme development for specification hybrid components of control systems
52.
Semantic formal reasoning solution for personalized home telecare
53.
Some formal methods for language ecology
54.
Some graph problems in timing analysis of the specification
55.
Specification model and language HSL for digital systems
56.
Specification of games
57.
Specification of hybrid components of control systems
58.
Specification of safety and realibility requirements for control systems
59.
Specification of safety and reliability requirements for control systems
60.
Structural solutions to social traps: formal and informal institutions = Sotsiaalsete lõksude strukturaalsed lahendid: formaalsed ja mitteformaalsed institutsioonid
61.
Student’s behavior in free learning environment and formal education system
62.
Termolõikamine [Võrguteavik] : termolõigete klassifitseerimine. Toote geomeetrilised spetsifikatsioonid ja kvaliteedi tolerantsid = Thermal cutting : classification of thermal cuts. Geometrical product specification and
63.
Test scenario specification language for model-based testing
64.
The impact of safety and reliability requirements on the specification of control systems
65.
The specification of Estonian Census maps for urban areas
66.
Time modelling for requirements and specification analysis
67.
Toote geomeetrilised spetsifikatsioonid (GPS) : üldised käsitlusviisid. Osa 1, Geomeetriliste spetsifikatsioonide ja nõuetele vastavuse hindamise mudel = Geometrical product specifications (GPS) : general concepts. Part
68.
Toote geomeetrilised spetsifikatsioonid (GPS). Töödeldavate detailide ja mõõtevahendite kontrollimine mõõtmete alusel. Osa 4, Funktsionaalsuse piiridega ja spetsifikatsiooni piiridega seonduv vastavuse tõendamiste reegli
69.
Top-K formal concepts for identifying positively and negatively correlated biclusters
70.
Towards formal verification of cache access-based side-channel attacks
71.
[2,3]-Wittig rearrangement as a formal asymmetric alkylation of α-branched ketones
72.
Verifying cache architecture vulnerabilities using a formal security verification flow
73.
Wittig [2,3]-rearrangement as a formal asymmetric alkylation of α-branched cyclopentanones
74.
Õppeteenused mitteformaalses hariduses ja koolituses. Põhinõuded teenusepakkujatele = Learning services for non-formal education and training. Basic requirements for service providers (ISO 29990:2010)
75.
[2,3]-Wittig rearrangement as a formal asymmetric alkylation of α-branched ketones
võtmesõna
21
1.
formal specification
2.
Automata, Formal Verification
3.
formal and combined safety elements
4.
formal and informal
5.
formal concept analysis
6.
formal education
7.
formal ferification
8.
formal logic
9.
formal methods
10.
formal PMS
11.
formal rationality
12.
formal reasoning
13.
formal revolution
14.
formal semantics
15.
formal verification
16.
non-formal education
17.
Property Specification Language (PSL)
18.
rigorous formal diagrammatic system
19.
specification
20.
specification mutation
21.
top-K formal concepts
allikas
20
1.
Applications of formal philosophy : the road less travelled
2.
Critical Systems : Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Sy
3.
Formal Approach to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006 : Seattle, WA, USA, August 15-16, 2006 : revised selected papers
4.
Formal Aspects in Security and Trust : 6th International Workshop : FAST 2009, Eindhoven, Netherlands, November 5-6, 2009 : Revised Selected Papers
5.
Formal aspects of component software : 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021 : proceedings
6.
Formal Methods : FM 2019 International Workshops, Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
7.
Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020 : proceedings
8.
Formal proceedings of the 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) : April 20-22, 2016, Košice, Slovakia
9.
Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedings
10.
ICEIS 2008 : Proceedings of the Tenth International Conference on Enterprise Information Systems. Vol ISAS-2, Information systems analysis and specification. Vol. 2
11.
Integrated Formal Methods : 9th International Conference IFM 2012 : Pisa, Italy, June 18-21, 2012 : proceedings
12.
NASA Formal Methods Symposium : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings
13.
Proceedings of Doctoral Symposium held in Conjunction with Formal Methods : May 26-30, 2008, Turku, Finland
14.
Proceedings of the 2019 Forum on specification & Design Languages (FDL)
15.
Proceedings of the World Congress on Formal Methods in Development and Computing Systems (FM'99) : Toulouse, France
16.
Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings
17.
The 2016 Forum on Specification & Design Languages : proceedings : Bremen, Germany, September 14-16, 2016
18.
19th EAEEIE Annual Conference : June 29-July 2, 2008, Tallinn, Estonia : formal proceedings
19.
26th Norchip Conference : Tallinn, Estonia, 17-18 November 2008 : formal proceedings
20.
4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 2019