Md Tawhid Bin Waez
发表
Joost-Pieter Katoen,
Erika Ábrahám,
Thomas Rambow,
2018,
FM.
Md Tawhid Bin Waez,
2015
.
Joost-Pieter Katoen,
Erika Ábrahám,
Thomas Rambow,
2018,
FM.
Jürgen Dingel,
Andrzej Wasowski,
Karen Rudie,
2015,
VMCAI.
Jürgen Dingel,
Andrzej Wasowski,
Karen Rudie,
2017,
Discret. Event Dyn. Syst..
Jürgen Dingel,
Karen Rudie,
Md Tawhid Bin Waez,
2013,
Comput. Sci. Rev..
Jürgen Dingel,
Andrzej Wasowski,
Karen Rudie,
2014,
FACS.
Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development
pdf
Joost-Pieter Katoen,
Erika Ábrahám,
Thomas Rambow,
2019,
FMICS.
Amey Y. Karnik,
Necmiye Ozay,
Liren Yang,
2020,
IEEE Transactions on Control Systems Technology.
Fuel cell thermal management: Modeling, specifications and correct-by-construction control synthesis
Amey Y. Karnik,
Necmiye Ozay,
Liren Yang,
2017,
2017 American Control Conference (ACC).
Dawei Sun,
Zeng Qiu,
Md Tawhid Bin Waez,
2021,
CoRL.
Yousaf Rahman,
Md Tawhid Bin Waez,
Yuming Niu,
2021,
FM.
Md Tawhid Bin Waez,
K. Rudie,
J. Dingel,
2013
.
Md Tawhid Bin Waez,
Sadrul Habib Chowdhury,
E. Ahmed,
2005
.
Md Tawhid Bin Waez,
Yue Meng,
Chuchu Fan,
2022,
NFM.
Md Tawhid Bin Waez,
S. Bruda,
2009
.
Md Tawhid Bin Waez,
K. Rudie,
Juergen Dingel,
2017,
Discrete event dynamic systems.
Md Tawhid Bin Waez,
K. Rudie,
J. Dingel,
2014
.