META 2f: Probabilistic, Compositional, Multi-dimension Model-Based Verification (PROMISE)
Grit Denker,Linda Briesemeister,Daniel Elenius,Shalini Ghosh,Ian A Mason,Ashish Tiwari,Devesh Bhatt,Haftay Hailu,Gabor Madl,Siamak Nikbin,Srivatsan Varadarajan,Guenther Bauer,Wilfried Steiner,Xenofon Koutsoukos,Tihamer Levendovszky mag（2011）
关键词
systems engineering,verification
AI 理解论文
溯源树
样例
