EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Wirsing, M.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.

2009

Huisman, M. and Tamalet, A. (2009) A Formal Connection between Security Automata and JML Annotations. In: Fundamental Approaches to Software Engineering, March 22- 29, 2009, York, UK. pp. 340-354. Lecture Notes in Computer Science 5503. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-00592-3

2008

Quartel, D.A.C. and Pokraev, S.V. and Mantovaneli Pessoa, R. and van Sinderen, M.J. (2008) Model-driven development of a mediation service. In: Twelfth International IEEE Enterprise Computing Conference, EDOC 2008, 15-19 Sep 2008, Munich, Germany. pp. 117-126. IEEE Computer Society. ISSN 1541-7719 ISBN 978-0-7695-3373-5

1992

Bossi, A. and Cocco, N. and Etalle, S. (1992) On Safe Folding. In: 4th Programming Languages: Implementations, Logics and Programs (PLILP), Leuven, Belgique. pp. 172-186. Springer-Verlag. ISBN 3-540-55844-6

This list was generated on Mon Mar 20 07:29:50 CET 2017.