Formal methods for components and objects (FMCO). Selected papers based on the presentations at the symposium, Leiden, The Netherlands, November 4--7, 2004
From MaRDI portal
Publication:2496450
zbMATH Open1093.68531MaRDI QIDQ2496450
Author name not available (Why is that?)
Publication date: 7 July 2006
Published in: Theoretical Computer Science (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (4)
Special issue: MEMOCODE 2004. Selected papers based on the presentations at the 2nd IEEE/ACM international conference on formal methods and models for co-design, San Diego, CA, USA, June 22--25, 2004. ⋮ Formal methods for components and objects. First international symposium, FMCO 2002, Leiden, The Netherlands, November 5--8, 2002. Revised lectures ⋮ Formal methods for components and objects. 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7--10, 2006. Revised lectures ⋮ Formal methods for components and objects. Second international symposium, FMCO 2003, Leiden The Netherlands, November 4--7, 2003. Revised lectures.
Recommendations
- Formal methods for components and objects. 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4--6, 2009. Revised selected papers 👍 👎
- Formal methods for components and objects. Third international symposium, FMCO 2004, Leiden, The Netherlands, November 2--5, 2004. Revised lectures. 👍 👎
- Special issue: Formal methods for components and objects. Selected and extended papers based on the presentations at the 3rd international symposium on formal methods for components and objects (FMCO), Leiden, The Netherland, November 2--5, 2004. 👍 👎
- Formal methods for components and objects. 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7--10, 2006. Revised lectures 👍 👎
- Formal methods for components and objects. First international symposium, FMCO 2002, Leiden, The Netherlands, November 5--8, 2002. Revised lectures 👍 👎
- Formal methods for components and objects. Second international symposium, FMCO 2003, Leiden The Netherlands, November 4--7, 2003. Revised lectures. 👍 👎
- Formal methods for components and objects. 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1--4, 2005. Revised lectures. 👍 👎
- Special issue: Formal methods for components and objects pracmatic aspects and applications. Papers from the first international symposium on formal methods for components and objects (FMCO), Leiden, The Netherlands, November 5--8, 2002. 👍 👎
- Special issue: Formal methods for components and objects (FMCO). First international symposium, Leiden, The Netherlands, November 5--8, 2002. Selected papers. 👍 👎
- Formal methods for components and objects. 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24--26, 2007. Revised lectures 👍 👎
This page was built for publication: Formal methods for components and objects (FMCO). Selected papers based on the presentations at the symposium, Leiden, The Netherlands, November 4--7, 2004
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2496450)
