Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 4. 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
2004
Wieringa, R.J.
(2004)
Requirements Engineering: Problem analysis and solution specification.
(Invited)
In: 4th International Conference on Web Engineering, ICWE 2004, 26-28 July 2004, Munich, Germany.
pp. 13-16.
Lecture Notes in Computer Science 3104.
Springer.
ISSN 0302-9743
ISBN 9783540225119
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 Thu May 24 08:42:56 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||