XML-based static type checking and dynamic visualization for TCOZ

Jin Song Dong, Yuan-Fang Li, Jing Sun, Jun Sun, Hai Wang

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

6 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the 4th International Conference on Formal Engineering Methods
EditorsChris George, Huaikou Miao
Place of PublicationBerlin Germany
PublisherSpringer-Verlag London Ltd.
Pages311 - 322
Number of pages12
Volume2495
ISBN (Print)3540000291
Publication statusPublished - 2002
Externally publishedYes
EventInternational Conference on Formal Engineering Methods - Shanghai China, Berlin Germany
Duration: 1 Jan 2002 → …

Conference

ConferenceInternational Conference on Formal Engineering Methods
CityBerlin Germany
Period1/01/02 → …

Cite this