scientific article; zbMATH DE number 50277
From MaRDI portal
Publication:3999989
Recommendations
- scientific article; zbMATH DE number 52933
- scientific article; zbMATH DE number 755678
- Formal description techniques and protocol specification, testing and verification. FORTE XI/ PSTV XVIII '98. IFIP TC6 WG6. 1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XI) an
- Formal techniques for networked and distributed systems -- FORTE 2004. 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27--30, 2004. Proceedings.
- Formal techniques for networked and distributed systems -- FORTE 2003. 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29 -- October 2, 2003. Proceedings
- Formal methods for protocol engineering and distributed systems. FORTE XII/ PSTV XIX '99. IFIP TC6 WG6. 1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XII) and protocol specific
- Formal techniques for distributed systems. Joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7--9, 2010. Proceedings
- Formal techniques for distributed systems. Joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 31st IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6--9, 2011. Proceedings
- Formal techniques for networked and distributed systems -- FORTE 2006. 26th IFIP WG 6.1 international conference, Paris, France, September 26--29, 2006. Proceedings
- Formal techniques for distributed systems. Joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal, June 9--12, 2009. Proceedings
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3999989)
