Items where Author / Artist / Editor is "Preibusch, Sören"
 | See full list of headings |
Article
Preibusch, Sören and Kammueller, Florian 
ORCID: https://orcid.org/0000-0001-5839-5488
(2008)
Checking the TWIN elevator system by translating object-Z to SMV.
Lecture Notes in Computer Science, 4916
.
pp. 38-55.
ISSN 0302-9743
[Article]
(doi:10.1007/978-3-540-79707-4)
Conference or Workshop Item
Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Preibusch, Sören
(2013)
Privacy analysis of a hidden friendship protocol.
Data Privacy Management and Autonomous Spontaneous Security: 8th International Workshop, DPM 2013, and 6th International Workshop, SETOP 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers.
In: The 8th International Workshop on Data Privacy Management, DPM 2013, 12-13 Sep 2013, Egam, UK.
ISBN 9783642545672.
ISSN 0302-9743
[Conference or Workshop Item]
Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Preibusch, Sören
(2008)
Modelchecking non-functional requirements for interface specifications.
In: European Joint Conference on Theory and Practice of Software, 2008, (Foundations of Interface technologies), 29th March - 6th April, 2008, Budapest.
.
[Conference or Workshop Item]
