Zhang, Wenhui, 1963-
Zhang, Wenhui
Wenhui Zhang čínský autor publikací z oboru softwaru
VIAF ID: 266300599 ( Personal )
Permalink: http://viaf.org/viaf/266300599
Preferred Forms
- 100 0 _ ‡a Wenhui Zhang ‡c čínský autor publikací z oboru softwaru
-
-
- 100 1 _ ‡a Zhang, Wenhui ‡d 1963-
-
- 100 1 _ ‡a Zhang, Wenhui, ‡d 1963-
-
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Applying SDL speciifications [sic] and tools to the verification of procedures | |
ATVA 2006 | |
Automated technology for verification and analysis, c2006: | |
Cut elimination and automatic proof procedures | |
Informasjonsbehandling i en omfattende og sammensatt planleggingsprosess : en studie av arbeidet med "Samlet plan for forvaltning av vannressursene" | |
Integrating UML and OUN for specification of open distributed systems | |
Tsui hou i ko t‘ai chien, 1984 | |
Validation of control system specifications with abstract plant models | |
XML tagging support in procedure V&V |