Gå till sökfältet
Gå till sidans huvudinnehåll
Gå till tillgänglighetsredogörelsen
Forskning.fi
Menu
Suomeksi
På svenska
In English
Ingångssida
Sökning
Vetenskaps- och innovationspolitik
Vetenskaps- och forskningsnyheter
På svenska
- 210 results
Publikationer
210
Utlysningar
0
Beviljade finansiering
13
Personer
0
Data
4
Infrastrukturer
0
Organisationer
0
Projekt
0
Publikationer -
210
sökresultat
Gå till sökresultaten
Visa som bild
Begränsa sökning
Resultaten visas 1 - 10 / 210
10
50
100
resultat / per sida
Vilka
publikations
uppgifter finns i tjänsten?
Icon
Publikationens namn
Upphovspersoner
Publikationskanal
År
Publicationer information ikon
Integrating
Refinement
-Based Methods for Developing Timed Systems
Referentgranskad
DOI
10.1201/b20053-17
Jüri Vain, Leonidas Tsiopoulos, Pontus Boström
CRC Press
2016
Publicationer information ikon
Quantitative
refinement
of reaction models
Referentgranskad
Iancu, Bogdan; Czeizler, Elena; Czeizler, Eugen; Petre, Ion
International Journal of Unconventional Computing
2012
Publicationer information ikon
Sorting Finite Automata via Partition
Refinement
Referentgranskad
Öppen tillgång
DOI
10.4230/LIPIcs.ESA.2023.15
Becker, Ruben; Caceres Reyes, Manuel Ariel; Cenzato, Davide; Kim, Sung-Hwan; Kodric, Bojana; Olivare...
Leibniz International Proceedings in Informatics (LIPIcs)
2023
Publicationer information ikon
Verifying large modular systems using iterative abstraction
refinement
Referentgranskad
DOI
10.1016/j.ress.2015.03.012
Lahtinen, Jussi; Kuismin, Tuomas; Heljanko, Keijo
Reliability engineering and system safety
2015
Publicationer information ikon
Refinement
checking parameterised quorum systems
Referentgranskad
Öppen tillgång
DOI
10.1109/ACSD.2017.15
Siirtola, Antti
International Conference on Application of Concurrency to System Design (ACSD)
2017
Publicationer information ikon
Fit-preserving
refinement
of the ErbB signalling pathway
Bogdan Iancu; Usman Sanwal; Cristian Gratie; Ion Petre
Turku Centre for Computer Science
2017
Publicationer information ikon
Dynamic Cut-Off Algorithm for Parameterised
Refinement
Checking
Referentgranskad
Öppen tillgång
DOI
10.1007/978-3-030-02146-7_13
Siirtola, Antti; Heljanko, Keijo
Lecture notes in computer science
2018
Publicationer information ikon
Addition of Dispersoid Titanium Oxide Inclusions in Steel and Their Influence on Grain
Refinement
Referentgranskad
DOI
10.1007/s11663-010-9416-y
Holappa, Lauri; Iung, Thierry; Kiviö, Miia
Metallurgical and Materials Transactions B: Process Metallurgy and Materials Processing Science
2010
Publicationer information ikon
Full Structural Model
Refinement
as Type
Refinement
of Colored Petri Nets
Referentgranskad
Diana-Elena Gratie; Ion Petre
CEUR Workshop Proceedings
2015
Publicationer information ikon
Full Structural Model
Refinement
as Type
Refinement
of Colored Petri Nets
Öppen tillgång
Diana-Elena Gratie; Ion Petre
-
2015
Integrating
Refinement
-Based Methods for Developing Timed Systems
Referentgranskad
DOI
10.1201/b20053-17
2016
Quantitative
refinement
of reaction models
Referentgranskad
2012
Sorting Finite Automata via Partition
Refinement
Referentgranskad
Öppen tillgång
DOI
10.4230/LIPIcs.ESA.2023.15
2023
Verifying large modular systems using iterative abstraction
refinement
Referentgranskad
DOI
10.1016/j.ress.2015.03.012
2015
Refinement
checking parameterised quorum systems
Referentgranskad
Öppen tillgång
DOI
10.1109/ACSD.2017.15
2017
Fit-preserving
refinement
of the ErbB signalling pathway
2017
Dynamic Cut-Off Algorithm for Parameterised
Refinement
Checking
Referentgranskad
Öppen tillgång
DOI
10.1007/978-3-030-02146-7_13
2018
Addition of Dispersoid Titanium Oxide Inclusions in Steel and Their Influence on Grain
Refinement
Referentgranskad
DOI
10.1007/s11663-010-9416-y
2010
Full Structural Model
Refinement
as Type
Refinement
of Colored Petri Nets
Referentgranskad
2015
Full Structural Model
Refinement
as Type
Refinement
of Colored Petri Nets
Öppen tillgång
2015
Föregående
1
2
3
4
5
Nästa
Resultaten visas 1 - 10 / 210
Sida 1
Sort
