Pages that link to "Item:Q1416838"
From MaRDI portal
The following pages link to Formal methods for components and objects. First international symposium, FMCO 2002, Leiden, The Netherlands, November 5--8, 2002. Revised lectures (Q1416838):
Displaying 5 items.
- 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. Second international symposium, FMCO 2003, Leiden The Netherlands, November 4--7, 2003. Revised lectures. (Q1774485) (← links)
- Symbolic model checking for channel-based component connectors (Q2389338) (← links)
- Formal methods for components and objects (FMCO). Selected papers based on the presentations at the symposium, Leiden, The Netherlands, November 4--7, 2004 (Q2496450) (← links)
- A Bibliography of Willem-Paul de Roever (Q5187816) (← links)