Näytetään tulokset 1 - 10 / 85
tulosta / sivu
Mitä julkaisutietoja palvelu sisältää?
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
 Julkaisujen tiedon ikoni

Modular Reachability Analyser

Vertaisarvioitu
Mäkelä, M.
Helsinki University of Technology2000 Julkaisujen tiedon ikoni

MaRiA - a Modular Reachability Analyzer

Mäkelä, Marko; Latvala, Timo; Varpaaniemi, Kimmo
-2000 Julkaisujen tiedon ikoni

Bounded Reachability Checking with Process Semantics

Vertaisarvioitu
Heljanko, Keijo
SPRINGER2001 Julkaisujen tiedon ikoni

punroll 0.3: a bounded reachability checker

Heljanko, Keijo
-2001 Julkaisujen tiedon ikoni

Safety Property-Driven Stubborn Sets

Vertaisarvioitu
DOI
10.1007/978-3-319-45994-3_7
Hansen, Henri;Valmari, Antti
Lecture notes in computer science2016 Julkaisujen tiedon ikoni

Reachability analysis extensions for NS-2 simulator

Kullberg, Tuulia
-2005 Julkaisujen tiedon ikoni

Emma: Developing an Industrial Reachability Analyser for SDL

Vertaisarvioitu
Husberg, N.; Manner, T.
SPRINGER1999 Julkaisujen tiedon ikoni

MaRiA 1.0 - a Modular Reachability Analyzer

Mäkelä, Marko; Latvala, Timo; Varpaaniemi, Kimmo
-2001 Julkaisujen tiedon ikoni

Surrounded by the Clouds A Comprehensive Cloud Reachability Study

Vertaisarvioitu
Avoin saatavuus
DOI
10.1145/3442381.3449854
Corneo, Lorenzo; Eder, Maximilian; Mohan, Nitinder; Zavodovski, Aleksandr; Bayhan, Suzan; Wong, Walt...
World Wide Web Conference2021 Julkaisujen tiedon ikoni

Reachability in Linear Recurrence Automata

Vertaisarvioitu
DOI
10.1007/978-3-031-72621-7_12
Hirvensalo, Mika; Kawamura, Akitoshi; Potapov, Igor; Yuyama, Takao
Reachability Problems : 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 20...2024

Modular Reachability Analyser

Vertaisarvioitu
2000

MaRiA - a Modular Reachability Analyzer

2000

Bounded Reachability Checking with Process Semantics

Vertaisarvioitu
2001

punroll 0.3: a bounded reachability checker

2001

Safety Property-Driven Stubborn Sets

Vertaisarvioitu
DOI
10.1007/978-3-319-45994-3_7
2016

Reachability analysis extensions for NS-2 simulator

2005

Emma: Developing an Industrial Reachability Analyser for SDL

Vertaisarvioitu
1999

MaRiA 1.0 - a Modular Reachability Analyzer

2001

Surrounded by the Clouds A Comprehensive Cloud Reachability Study

Vertaisarvioitu
Avoin saatavuus
DOI
10.1145/3442381.3449854
2021

Reachability in Linear Recurrence Automata

Vertaisarvioitu
DOI
10.1007/978-3-031-72621-7_12
2024