No label defined (Q3999989)

From MaRDI portal

Jump to:navigation, search

This is the item page for this Wikibase entity, intended for internal use and editing purposes.

Please use this page instead for the normal view: scientific article; zbMATH DE number 50277

scientific article; zbMATH DE number 50277

Language	Label	Description	Also known as
default for all languages	No label defined
English	No label defined	scientific article; zbMATH DE number 50277

Statements

scholarly article

0 references

publication date

23 January 1993

0 references

zbMATH Keywords

Madrid (Spain)

0 references

Formal description techniques

0 references

Proceedings

0 references

Conference

0 references

FORTE-90

0 references

MaRDI profile type

MaRDI publication profile

0 references

Recommended article

Similarity Score

0.9359135

Recommender Run

Recommender Run 3

0 references

Similarity Score

0.9157858

Recommender Run

Recommender Run 3

0 references

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) and protocol specification, testing and verification (PSTV XVIII), Paris, France, November 3--6, 1998

Similarity Score

0.9037511

Recommender Run

Recommender Run 3

0 references

Formal techniques for networked and distributed systems -- FORTE 2004. 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27--30, 2004. Proceedings.

Similarity Score

0.89770865

Recommender Run

Recommender Run 3

0 references

Formal techniques for networked and distributed systems -- FORTE 2003. 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29 -- October 2, 2003. Proceedings

Similarity Score

0.889137

Recommender Run

Recommender Run 3

0 references

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 specification, testing and verification (PSTV XIX). Beijing, China, October 5--8, 1999

Similarity Score

0.88520914

Recommender Run

Recommender Run 3

0 references

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

Similarity Score

0.8741735

Recommender Run

Recommender Run 3

0 references

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

Similarity Score

0.87371284

Recommender Run

Recommender Run 3

0 references

Formal techniques for networked and distributed systems -- FORTE 2006. 26th IFIP WG 6.1 international conference, Paris, France, September 26--29, 2006. Proceedings

Similarity Score

0.8716274

Recommender Run

Recommender Run 3

0 references

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

Similarity Score

0.8714928

Recommender Run

Recommender Run 3

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3999989

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3999989&oldid=55140586"