BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
J.Qian Y.Wang K.O.0001 F.Song F.Mallet X.C.0007
Talks about:
constraint (1) schedul (1) program (1) languag (1) analysi (1) verifi (1) specif (1) formal (1) updat (1) model (1)

Person: Min Zhang 0002

DBLP DBLP: 0002:Min_Zhang

Contributed to:

FASE 20192019

Wrote 2 papers:

FASE-2019-QianZWO #c #modelling #named #source code #verification
KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs (JQ, MZ0, YW, KO0), pp. 299–305.
FASE-2019-ZhangSMC #analysis #bound #constraints #scheduling #smt #specification
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language (MZ0, FS, FM, XC0), pp. 61–78.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.