2010
- Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected PapersFrank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel, editors, Volume 6286 of Lecture Notes in Computer Science, Springer, 2010. [doi]
- Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in CredoImmo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi. ENTCS, 266:33-48, 2010. [doi]
2009
- Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Eric Madelain, editors, Volume 5751 of Lecture Notes in Computer Science, Springer, 2009. [doi]
2008
- Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, ProceedingsGilles Barthe, Frank S. de Boer, editors, Volume 5051 of Lecture Notes in Computer Science, Springer, 2008.
- Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 5382 of Lecture Notes in Computer Science, Springer, 2008.
2007
- Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 4709 of Lecture Notes in Computer Science, Springer, 2007.
2006
- Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 4111 of Lecture Notes in Computer Science, Springer, 2006.
2005
- Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 3657 of Lecture Notes in Computer Science, Springer, 2005.
2004
- Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 3188 of Lecture Notes in Computer Science, Springer, 2004.
2003
- Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised LecturesFrank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Volume 2852 of Lecture Notes in Computer Science, Springer, 2003.
- Towards a Language for Coherent Enterprise Architecture DescriptionsHenk Jonkers, René van Buuren, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Hans Bosma, Hugo W. L. ter Doest, Luuk Groenewegen, Juan Guillen Scholten, Stijn Hoppenbrouwers, Maria-Eugenia Iacob, Wil Janssen, Marc M. Lankhorst, Diederik van Leeuwen, Erik Proper, Andries Stam, Leendert W. N. van der Torre, Gert Veldhuijzen van Zanten. edoc 2003: 28-39 [doi]
2002
2001
PreviousNext