Verification of the behaviour of reactive software with CFFD-semantics and ARA tools

Antti Valmari; Reijo Savola

Verification of the behaviour of reactive software with CFFD-semantics and ARA tools

Antti Valmari, Reijo Savola

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

Original language	English
Title of host publication	International symposium on on-board real-time software, ISOBRTS
Editors	T.D. Guyenne
Place of Publication	Noordwijk
Publisher	European Space Agency (ESA)
ISBN (Print)	978-92-9092-183-7
Publication status	Published - 1995
MoE publication type	A4 Article in a conference publication
Event	International Symposium on On-Board Real-Time Software, ISOBRTS '95 - Norwijk, Netherlands Duration: 13 Nov 1995 → 15 Nov 1995

Publication series

Series	ESA Special Publication
Volume	375
ISSN	0379-6566

Seminar

Seminar	International Symposium on On-Board Real-Time Software, ISOBRTS '95
Country/Territory	Netherlands
City	Norwijk
Period	13/11/95 → 15/11/95

Cite this

@inproceedings{29e2f246ad38409f896fb641a09a3116,

title = "Verification of the behaviour of reactive software with CFFD-semantics and ARA tools",

author = "Antti Valmari and Reijo Savola",

note = "Project code: ELE2021; International Symposium on On-Board Real-Time Software, ISOBRTS '95 ; Conference date: 13-11-1995 Through 15-11-1995",

year = "1995",

language = "English",

isbn = "978-92-9092-183-7",

series = "ESA Special Publication",

publisher = "European Space Agency (ESA)",

editor = "T.D. Guyenne",

booktitle = "International symposium on on-board real-time software, ISOBRTS",

address = "France",

}

Valmari, A & Savola, R 1995, Verification of the behaviour of reactive software with CFFD-semantics and ARA tools. in TD Guyenne (ed.), International symposium on on-board real-time software, ISOBRTS., 8, European Space Agency (ESA), Noordwijk, ESA Special Publication, vol. 375, International Symposium on On-Board Real-Time Software, ISOBRTS '95, Norwijk, Netherlands, 13/11/95.

Verification of the behaviour of reactive software with CFFD-semantics and ARA tools. / Valmari, Antti; Savola, Reijo.
International symposium on on-board real-time software, ISOBRTS. ed. / T.D. Guyenne. Noordwijk: European Space Agency (ESA), 1995. 8 (ESA Special Publication, Vol. 375).

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

TY - GEN

T1 - Verification of the behaviour of reactive software with CFFD-semantics and ARA tools

AU - Valmari, Antti

AU - Savola, Reijo

N1 - Project code: ELE2021

PY - 1995

Y1 - 1995

M3 - Conference article in proceedings

SN - 978-92-9092-183-7

T3 - ESA Special Publication

BT - International symposium on on-board real-time software, ISOBRTS

A2 - Guyenne, T.D.

PB - European Space Agency (ESA)

CY - Noordwijk

T2 - International Symposium on On-Board Real-Time Software, ISOBRTS '95

Y2 - 13 November 1995 through 15 November 1995

ER -