scientific article; zbMATH DE number 50277

zbMATH Open0800.68045MaRDI QIDQ3999989FDOQ3999989

Authors:

Publication date: 23 January 1993

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

ConferenceProceedingsMadrid (Spain)Formal description techniquesFORTE-90

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

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)