Specification and Design of Embedded Systems Using Temporal Logic

H. Klapuri

Research output: Book/Report › Commissioned report

Translated title of the contribution	Specification and Design of Embedded Systems Using Temporal Logic
Original language	English
Place of Publication	Tampere
Publisher	Tampereen teknillinen korkeakoulu
Number of pages	64
Publication status	Published - 1998
Publication type	D4 Published development or research report or study

Name	Tampereen teknillinen korkeakoulu, Signaalinkäsittelyn laitos, Laitosraportti
Publisher	Tampereen teknillinen korkeakoulu
No.	3/1998

Publication forum classification

@book{62337a69341049428cf6d6904bb6d273,

title = "Specification and Design of Embedded Systems Using Temporal Logic",

author = "H. Klapuri",

note = "Contribution: organisation=sgn,FACT1=1",

year = "1998",

language = "English",

series = "Tampereen teknillinen korkeakoulu, Signaalink{\"a}sittelyn laitos, Laitosraportti",

publisher = "Tampereen teknillinen korkeakoulu",

number = "3/1998",

}

TY - BOOK

T1 - Specification and Design of Embedded Systems Using Temporal Logic

AU - Klapuri, H.

N1 - Contribution: organisation=sgn,FACT1=1

PY - 1998

Y1 - 1998

M3 - Commissioned report

T3 - Tampereen teknillinen korkeakoulu, Signaalinkäsittelyn laitos, Laitosraportti

BT - Specification and Design of Embedded Systems Using Temporal Logic

PB - Tampereen teknillinen korkeakoulu

CY - Tampere

ER -