Publication year
2008Publisher
Berlin : Springer
ISBN
9783540797067
In
Lecture Notes in Computer Science, (2008)Merino, P.; Leue, S. (ed.), Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, pp. 115-132ISSN
Annotation
12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, 01 juli 2007
Publication type
Article in monograph or in proceedings

Display more detailsDisplay less details
Editor(s)
Merino, P.
Leue, S.
Organization
Digital Security
Security of Systems
Software Science
Former Organization
Biophysics
Journal title
Lecture Notes in Computer Science
Book title
Merino, P.; Leue, S. (ed.), Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Page start
p. 115
Page end
p. 132
Subject
Lect. Notes Comp. Sci.; Digital SecurityThis item appears in the following Collection(s)
- Academic publications [204859]
- Electronic publications [103204]
- Faculty of Science [32287]
- Open Access publications [71761]
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.