Pages that link to "Item:Q2496450"
From MaRDI portal
The following pages link to Formal methods for components and objects (FMCO). Selected papers based on the presentations at the symposium, Leiden, The Netherlands, November 4--7, 2004 (Q2496450):
Displaying 4 items.
- 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. (Q854394) (← links)
- Formal methods for components and objects. 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7--10, 2006. Revised lectures (Q939708) (← links)
- Formal methods for components and objects. First international symposium, FMCO 2002, Leiden, The Netherlands, November 5--8, 2002. Revised lectures (Q1416838) (← links)
- Formal methods for components and objects. Second international symposium, FMCO 2003, Leiden The Netherlands, November 4--7, 2003. Revised lectures. (Q1774485) (← links)
