Formal verification of safety functions by reinterpretation of functional block based specifications

Nemeth, Erzsébet and Bartha, Tamás (2009). Formal verification of safety functions by reinterpretation of functional block based specifications. In María Alpuente, Byron Cooker and Christophe Joubert (Ed.), Formal methods for industrial critical systems (pp. 199-214) Berlin: Springer. doi:10.1007/978-3-642-03240-0_17


Author Nemeth, Erzsébet
Bartha, Tamás
Title of chapter Formal verification of safety functions by reinterpretation of functional block based specifications
Title of book Formal methods for industrial critical systems
Place of Publication Berlin
Publisher Springer
Publication Year 2009
Sub-type Other
DOI 10.1007/978-3-642-03240-0_17
Series Lecture notes in computer science, 5825.
ISBN 9783642045707
3642045707
ISSN 0302-9743
Editor María Alpuente
Byron Cooker
Christophe Joubert
Volume number 5596 LNCS
Chapter number 17
Start page 199
End page 214
Total pages 16
Total chapters 18
Language eng
Q-Index Code BX
Q-Index Status Provisional Code
Institutional Status Unknown

 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 11 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Tue, 01 Mar 2011, 22:26:53 EST by Dr Elizabeth Nemeth on behalf of School of Chemical Engineering