Edellinen kuva
Lähennä
Loitonna
Keskitä
Seuraava kuva
Siirry rajauksiin
Siirry sisältöön
Etusivu
Haut ja palvelut
Perushaku (etusivu)
Aloita uusi haku.
Tarkennettu haku
Tarkemmat hakuehdot.
Hakuhistoria
Istuntokohtainen hakuhistoriasi. Kirjautumalla voit tallentaa hakusi.
Oppimateriaalit
Hae oppimateriaaleja eri aiheista.
Oikopolku tutkittuun tietoon
Syvenny tutkittuun tietoon.
Finna Luokkahuone
Tutustu opetuksen ja oppimisen sisältöihin.
Finna Street
Hae kuvia sijaintisi perusteella.
Tietoa Finnasta
Finna.fi – Kulttuurin ja tieteen aarteet yhdestä osoitteesta
Millaisia aineistoja voit löytää? Kirjautumalla saat enemmän. Monta tapaa käyttää Finna.fi:tä.
Finna – hakupalvelujen kokonaisuus
Mitä eroa Finna.fi:llä ja muilla Finna-hakupalveluilla?
Aineistojen tarjoajat
Lisätietoa Finnasta
Mitä tietoja minusta kerätään? Kuka Finnaa tekee? Finna-API. Finnan ohjelmisto. Palvelun käyttöä koskevat yleiset ehdot. Kuinka organisaationi voi liittyä Finnaan?
Vastuullinen Finna
Uutiset
Häiriötiedotteet
Ohje
Suomi
Suomi
Svenska
English
Kirjaudu
Haku
Hae
Tekijä
Kaikki osumat
Otsikko
Tekijä
Aihe
Hae
Tarkennettu haku
Troubitsyna, Elena | Hakutulokset
Kaikki aineistot
Oppimateriaalit
Kaikki aineistot
Lisää
Kaikki aineistot
Oppimateriaalit
Hakutulokset
Rajaa hakua
Näytetään
1
- 20
/
33
Siirry seuraavalle sivulle
Järjestä
Järjestä
Relevanssi
Relevanssi
Vuosi (uusin ensin)
Vuosi (vanhin ensin)
Luokka
Tekijä
Otsikko
Viimeksi muuttunut
Viimeksi lisätty
Järjestä
Relevanssi
Vuosi (uusin ensin)
Vuosi (vanhin ensin)
Luokka
Tekijä
Otsikko
Viimeksi muuttunut
Viimeksi lisätty
Tuloksia sivulla
Tuloksia sivulla
20
20
50
100
Tuloksia sivulla
20
50
100
Näytä
Näytä
Tiedot ja kuvat
Tiedot ja kuvat
Kuvagalleria
Tiivistetty lista
Hakutulos 1
Enhancing dependability via parameterized refinement
Näytä tarkat tiedot
Kirja
Troubitsyna, Elena
Troubitsyna, Elena
Hae tekijöistä
Hae aiheista
Sulje
1999
Matematiikka
(udkf 51)
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
Stepwise development of dependable systems
Näytä tarkat tiedot
Väitöskirja
Troubitsyna, Elena
Troubitsyna, Elena
Hae tekijöistä
Hae aiheista
Sulje
2000
Tietotekniikka. Ohjelmointi. Tietojenkäsittely. Atk. Tietokoneet. Tekoäly
(udkf 004)
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 3
Refining for safety
Näytä tarkat tiedot
Kirja
Troubitsyna, Elena
Troubitsyna, Elena
Hae tekijöistä
Hae aiheista
Sulje
1999
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 4
Stepwise development of dependable systems
Näytä tarkat tiedot
Väitöskirja
Troubitsyna, Elena
Troubitsyna, Elena
Hae tekijöistä
Hae aiheista
Sulje
2000
Saatavuustiedot:
Näytä saatavuustiedot
Itä-Suomen yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
Specifying safety-related hazards formally
Näytä tarkat tiedot
Kirja
Troubitsyna, Elena
Troubitsyna, Elena
Hae tekijöistä
Hae aiheista
Sulje
1999
Tietotekniikka. Ohjelmointi. Tietojenkäsittely. Atk. Tietokoneet. Tekoäly
(udkf 004)
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 6
Enhancing dependability via parameterized refinement
Näytä tarkat tiedot
Kirja
Troubitsyna, Elena
Troubitsyna, Elena
Hae tekijöistä
Hae aiheista
Sulje
1999
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
Reliability assessment through probabilistic refinement
Näytä tarkat tiedot
Artikkeli
Troubitsyna, Elena A.
Troubitsyna, Elena A.
Hae tekijöistä
Hae aiheista
Sulje
Julkaisussa
Nordic journal of computing
6 (1999) : 3, s. 320-342
Kansalliskirjasto - Arto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 8
A formal model-driven approach to requirements engineering
Näytä tarkat tiedot
Kirja
Ilić, Dubravka
Ilić, Dubravka
Hae tekijöistä
Hae aiheista
Sulje
;
Troubitsyna, Elena
Troubitsyna, Elena
Hae tekijöistä
Hae aiheista
Sulje
2005
Tietotekniikka. Ohjelmointi. Tietojenkäsittely. Atk. Tietokoneet. Tekoäly
(udkf 004)
Muut tekijät:
“…
Troubitsyna
,
Elena
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 9
Proceedings of Doctoral Symposium held in conjunction with Formal Methods 2008 : May 27, 2008, Turku, Finland
Näytä tarkat tiedot
Kirja
Troubitsyna, Elena
Troubitsyna, Elena
Hae tekijöistä
Hae aiheista
Sulje
2008
Muut tekijät:
“…
Troubitsyna
,
Elena
…”
Saatavuustiedot:
Näytä saatavuustiedot
Itä-Suomen yliopisto
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 10
Hazard analysis in formal specification
Näytä tarkat tiedot
Kirja
Sere, Kaisa
Sere, Kaisa
Hae tekijöistä
Hae aiheista
Sulje
;
Troubitsyna, Elena
Troubitsyna, Elena
Hae tekijöistä
Hae aiheista
Sulje
1999
Matematiikka
(udkf 51)
Muut tekijät:
“…
Troubitsyna
,
Elena
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 11
Formal development of dynamically adaptable fault tolerant systems
Näytä tarkat tiedot
Kirja
Laibinis, Linas
Laibinis, Linas
Hae tekijöistä
Hae aiheista
Sulje
;
Troubitsyna, Elena
Troubitsyna, Elena
Hae tekijöistä
Hae aiheista
Sulje
2005
Tietotekniikka. Ohjelmointi. Tietojenkäsittely. Atk. Tietokoneet. Tekoäly
(udkf 004)
Muut tekijät:
“…
Troubitsyna
,
Elena
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 12
Formal service-oriented development of fault tolerant systems
Näytä tarkat tiedot
Kirja
Laibinis, Linas
Laibinis, Linas
Hae tekijöistä
Hae aiheista
Sulje
;
Troubitsyna, Elena
Troubitsyna, Elena
Hae tekijöistä
Hae aiheista
Sulje
2004
Muut tekijät:
“…
Troubitsyna
,
Elena
…”
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 13
A formal model-driven approach to requirements engineering
Näytä tarkat tiedot
Kirja
Ilić, Dubravka
,
1977-
Ilić, Dubravka
Hae tekijöistä
Hae aiheista
Sulje
;
Troubitsyna, Elena
Troubitsyna, Elena
Hae tekijöistä
Hae aiheista
Sulje
2005
Tietotekniikka. Ohjelmointi. Tietojenkäsittely. Atk. Tietokoneet. Tekoäly
(udkf 004)
Muut tekijät:
“…
Troubitsyna
,
Elena
…”
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 14
Formal development of software for tolerating transient faults
Näytä tarkat tiedot
Kirja
Ilić, Dubravka
,
1977-
Ilić, Dubravka
Hae tekijöistä
Hae aiheista
Sulje
;
Troubitsyna, Elena
Troubitsyna, Elena
Hae tekijöistä
Hae aiheista
Sulje
2005
Tietotekniikka. Ohjelmointi. Tietojenkäsittely. Atk. Tietokoneet. Tekoäly
(udkf 004)
Muut tekijät:
“…
Troubitsyna
,
Elena
…”
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 15
Refinement of fault tolerant control systems in B
Näytä tarkat tiedot
Kirja
Laibinis, Linas
Laibinis, Linas
Hae tekijöistä
Hae aiheista
Sulje
;
Troubitsyna, Elena
Troubitsyna, Elena
Hae tekijöistä
Hae aiheista
Sulje
2004
Muut tekijät:
“…
Troubitsyna
,
Elena
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 16
Formal service-oriented development of fault tolerant systems
Näytä tarkat tiedot
Kirja
Laibinis, Linas
Laibinis, Linas
Hae tekijöistä
Hae aiheista
Sulje
;
Troubitsyna, Elena
Troubitsyna, Elena
Hae tekijöistä
Hae aiheista
Sulje
2004
Tietotekniikka. Ohjelmointi. Tietojenkäsittely. Atk. Tietokoneet. Tekoäly
(udkf 004)
Muut tekijät:
“…
Troubitsyna
,
Elena
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 17
Formal development of software for tolerating transient faults
Näytä tarkat tiedot
Kirja
Ilić, Dubravka
Ilić, Dubravka
Hae tekijöistä
Hae aiheista
Sulje
;
Troubitsyna, Elena
Troubitsyna, Elena
Hae tekijöistä
Hae aiheista
Sulje
2005
Muut tekijät:
“…
Troubitsyna
,
Elena
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 18
Fault tolerance in a layered architecture : a general specification pattern in B
Näytä tarkat tiedot
Kirja
Laibinis, Linas
Laibinis, Linas
Hae tekijöistä
Hae aiheista
Sulje
;
Troubitsyna, Elena
Troubitsyna, Elena
Hae tekijöistä
Hae aiheista
Sulje
2004
Tietotekniikka. Ohjelmointi. Tietojenkäsittely. Atk. Tietokoneet. Tekoäly
(udkf 004)
Muut tekijät:
“…
Troubitsyna
,
Elena
…”
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän yliopisto - Jykdok
Kansalliskirjasto
Oulun yliopisto
Turun yliopisto
Åbo Akademin kirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 19
Formal development of dynamically adaptable fault tolerant systems
Näytä tarkat tiedot
Kirja
Laibinis, Linas
Laibinis, Linas
Hae tekijöistä
Hae aiheista
Sulje
;
Troubitsyna, Elena
Troubitsyna, Elena
Hae tekijöistä
Hae aiheista
Sulje
2005
Muut tekijät:
“…
Troubitsyna
,
Elena
…”
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 20
Software Engineering for Resilient Systems Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings
Näytä tarkat tiedot
E-kirja
Troubitsyna, Elena A.
,
toimittaja
Troubitsyna, Elena A.
Hae tekijöistä
Hae aiheista
Sulje
2011
Muut tekijät:
“…
Troubitsyna
,
Elena
A. toimittaja…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Siirry seuraavalle sivulle
1
2
Rajaa hakua
Valintaruuturajaimet
Verkossa saatavilla
Käyttöoikeudet
Lataus keskeytyi
Lataa…
Aineistotyyppi
Lataus keskeytyi
Lataa…
Tekijä
Lataus keskeytyi
Lataa…
Aihe
Lataus keskeytyi
Lataa…
Alue
Lataus keskeytyi
Lataa…
Valmistusvuosi
Lataus keskeytyi
Lataa…
Aiheen aika
Lataus keskeytyi
Lataa…
Kieli
Lataus keskeytyi
Lataa…
Sisältyy kokonaisuuteen
Lataus keskeytyi
Lataa…
Toimiala
Lataus keskeytyi
Lataa…
Organisaatio
Lataus keskeytyi
Lataa…
Uutta Finnassa
Lataus keskeytyi
Lataa…
RSS-syöte
Lähetä haku sähköpostilla
Tallenna haku
Finna API