Items where Author / Artist / Editor is "Preibusch, Sören"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.


Preibusch, Sören and Kammueller, Florian ORCID logoORCID: (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 logoORCID: 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 logoORCID: 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]

This list was generated on Mon Sep 25 04:07:42 2023 BST.