• de

Conference Papers for Security and Trust Engineering at the chair of Prof. Dr. Christoph Meinel

Here you can find all our peer-reviewed conference papers about security and trust engineering:

Verification of Business Process Entailment Constraints Using SPIN

Wolter, Christian; Miseldine, Philip; Meinel, Christoph in Proceedings of the 1st International Symposium on Engineering Secure Software and Systems (ESSoS 2009) Volume   5429   von   LNCS 5429 , Seite 1-15 . Leuven, Belgium , Springer Press , 2009 .

Weitere Informationen
Tags its


You can find other sub-lists of our conference papers focusing on 

Go back to the complete list of peer-reviewed conference papers.

Other Links

... to our Research
              Security Engineering - Learning & Knowledge Tech - Design Thinking - former
... to our Teaching
              Tele-Lectures - MOOCs - Labs - Systems 
... to our Publications
              Books - Journals - Conference-Papers - Patents
... and to our Annual Reports.