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 (2008) Checking the TWIN elevator system by translating object-Z to SMV. Lecture Notes in Computer Science, 4916 . pp. 38-55. ISSN 0302-9743

Conference or Workshop Item

Kammueller, Florian and Preibusch, Sören (2013) Privacy analysis of a hidden friendship protocol. In: The 8th International Workshop on Data Privacy Management, DPM 2013, 12-13 Sep 2013, Egam, UK.

Kammueller, Florian 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.

This list was generated on Sun Sep 15 04:51:31 2019 BST.