ADEPT 2023 Workshop Summary
Hai Nam Tran,Frank Singhoff,Jérôme Hugues,Pierre Dissaux,Bruce Lewis,Hazel Shackleton,Joseph Kiniry, Frank Zeyda,Rakshit Mittal,Dominique Blouin, Anish Bhobe,Laurent Pautet,Kyungmin Bae,Peter Csaba Ölveczky,Brian R Larson,Ehsan Ahmad,Leonidas Kosmidis, Hugo Valente,Miguel A de Miguel, Ángel G Pérez,Alejandro Alonso,Juan Zamorano,Juan A de la Puente ACM SIGAda Ada Letters（2024）
关键词
aadl,critical embedded real-time systems,design,implementation and verification
AI 理解论文
溯源树
样例
