PROD 3.4.00 -saavutettavuusanalyysiohjelmisto

Lasse Anderson; Johannes Helander; Keijo Heljanko; Tomi Janhunen; Robert Jürgens; Ismo Kangas; Kari Nurmela; Kenneth Oksanen; Olavi Pesonen; Marko Rauhamaa; James Reilly; Heikki Suonsivu; Kimmo Valkealahti; Kimmo Varpaaniemi; Pauli Väisänen

PROD 3.4.00 -saavutettavuusanalyysiohjelmisto

Lasse Anderson, Johannes Helander, Keijo Heljanko, Tomi Janhunen, Robert Jürgens, Ismo Kangas, Kari Nurmela, Kenneth Oksanen, Olavi Pesonen, Marko Rauhamaa, James Reilly, Heikki Suonsivu, Kimmo Valkealahti, Kimmo Varpaaniemi, Pauli Väisänen

Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisu › Software › Scientific

Alkuperäiskieli	Englanti
Tila	Julkaistu - 2004
OKM-julkaisutyyppi	I2 Tieto- ja viestintätekniset sovellukset

Tutkimusalat

computation tree logic
linear time temporal logic
on-the-fly verification
predicate/transition nets
priorities
reachability analysis
stubborn set method

Muut tiedostot ja linkit

http://www.tcs.hut.fi/Software/prod/

Siteeraa tätä

@misc{51ee24f7173349fa85369cf268ed88cf,

title = "PROD 3.4.00 -saavutettavuusanalyysiohjelmisto",

keywords = "computation tree logic, linear time temporal logic, on-the-fly verification, predicate/transition nets, priorities, reachability analysis, stubborn set method, computation tree logic, linear time temporal logic, on-the-fly verification, predicate/transition nets, priorities, reachability analysis, stubborn set method, computation tree logic, linear time temporal logic, on-the-fly verification, predicate/transition nets, priorities, reachability analysis, stubborn set method",

author = "Lasse Anderson and Johannes Helander and Keijo Heljanko and Tomi Janhunen and Robert J{\"u}rgens and Ismo Kangas and Kari Nurmela and Kenneth Oksanen and Olavi Pesonen and Marko Rauhamaa and James Reilly and Heikki Suonsivu and Kimmo Valkealahti and Kimmo Varpaaniemi and Pauli V{\"a}is{\"a}nen",

year = "2004",

language = "English",

}

TY - ADVS

T1 - PROD 3.4.00 -saavutettavuusanalyysiohjelmisto

AU - Anderson, Lasse

AU - Helander, Johannes

AU - Heljanko, Keijo

AU - Janhunen, Tomi

AU - Jürgens, Robert

AU - Kangas, Ismo

AU - Nurmela, Kari

AU - Oksanen, Kenneth

AU - Pesonen, Olavi

AU - Rauhamaa, Marko

AU - Reilly, James

AU - Suonsivu, Heikki

AU - Valkealahti, Kimmo

AU - Varpaaniemi, Kimmo

AU - Väisänen, Pauli

PY - 2004

Y1 - 2004

KW - computation tree logic

KW - linear time temporal logic

KW - on-the-fly verification

KW - predicate/transition nets

KW - priorities

KW - reachability analysis

KW - stubborn set method

KW - computation tree logic

KW - linear time temporal logic

KW - on-the-fly verification

KW - predicate/transition nets

KW - priorities

KW - reachability analysis

KW - stubborn set method

KW - computation tree logic

KW - linear time temporal logic

KW - on-the-fly verification

KW - predicate/transition nets

KW - priorities

KW - reachability analysis

KW - stubborn set method

UR - http://www.tcs.hut.fi/Software/prod/

M3 - Software

ER -