Formalizing and verifying software architectures

by ZHANG JIEXIN
Published 2012

Epigenetic landscapes of De Novo Serine synthesis pathway in natural killer/T cell lymphoma (NKTL)

by Zhang, Jiexin
Published 2024

Model checking software architecture design

by Zhang, Jiexin, Liu, Yang, Sun, Jing, Dong, Jin Song, Sun, Jun
Published 2013

Using monterey phoenix to formalize and verify system architectures

by Zhang, Jiexin, Liu, Yang, Auguston, Mikhail, Sun, Jun, Dong, Jin Song
Published 2013

Model checking software architecture design

by ZHANG, Jiexin, LIU, Yang, SUN, Jing, DONG, Jin Song, SUN, Jun
Published 2012

Using monterey phoenix to formalize and verify system architectures

by ZHANG, Jiexin, LIU, Yang, AUGUSTON, Mikhail, SUN, Jun, DONG, Jin Song
Published 2012

Formalizing and verifying stochastic system architectures using Monterey Phoenix

by SONG, Songzheng, ZHANG, Jiexin, LIU, Yang, AUGUSTON, Mikhail, SUN, Jun, DONG, Jin Song, CHEN, Tieming
Published 2016