Collaborated with:
Minjie Zou B.Vogel-Heuser
Talks about:
inconsist (1) product (1) develop (1) system (1) resolv (1) optim (1) model (1) base (1)
Person: Boyang Lu
DBLP: Lu:Boyang
Contributed to:
Wrote 1 papers:
- CASE-2018-ZouLV #consistency #development #modelling #nondeterminism
- Resolving Inconsistencies Optimally in the Model-Based Development of Production Systems (MZ, BL, BVH), pp. 1064–1070.