scientific article; zbMATH DE number 2013596

zbMATH Open1028.68507MaRDI QIDQ4436982FDOQ4436982

Authors:

Publication date: 4 December 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2651/26510437.htm

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

Recommendations

• A formal object approach to the design of ZML
• scientific article; zbMATH DE number 2079997
• scientific article; zbMATH DE number 1945726
• Mathematical Knowledge Management
• Zentralblatt MATHMLized

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data structures (68P05)

Cited In (7)

• Title not available (Why is that?)
• Z2SAL: a translation-based model checker for Z
• XML and industrial standards for electronic commerce
• Lexicon management and standard formats
• PiXL: applying XML standards to support the integration of analysis tools for protocols
• A formal object approach to the design of ZML
• StatDataML: an XML format for statistical data

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 Q4436982)