DocumentCode

1150549

Title

Verification in layers

Author

Ninane, Roger

Volume

3

Issue

2

fYear

2005

Firstpage

20

Lastpage

24

fLanguage

English

Journal_Title

Electronics Systems and Software

Publisher

iet

ISSN

1479-8336

Type

jour

Filename

1499337