
Fulltext:
76014.pdf
Embargo:
until further notice
Size:
334.6Kb
Format:
PDF
Description:
publisher's version
Publication year
2009Publisher
Berlin : Springer Verlag
ISBN
9783642045691
In
Lecture Notes in Computer Science, (2009)Alpuente, M.; Cook, B. (ed.), Formal Methods for Industrial Critical Systems (FMICS 2009) : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings, pp. 149-164ISSN
Annotation
Formal Methods for Industrial Critical Systems (FMICS 2009), 2 november 2010
Publication type
Article in monograph or in proceedings

Display more detailsDisplay less details
Editor(s)
Alpuente, M.
Cook, B.
Organization
Digital Security
Security of Systems
Software Science
Former Organization
Biophysics
Journal title
Lecture Notes in Computer Science
Book title
Alpuente, M.; Cook, B. (ed.), Formal Methods for Industrial Critical Systems (FMICS 2009) : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings
Page start
p. 149
Page end
p. 164
Subject
Digital SecurityThis item appears in the following Collection(s)
- Academic publications [204859]
- Electronic publications [103204]
- Faculty of Science [32287]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.