Browse by Journal
![]() | See full list of headings |
Jump to: K
Number of items: 1.
K
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]