買這商品的人也買了...
相關主題
商品描述
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.
商品描述(中文翻譯)
本卷是關於航空航天領域正式方法的討論成果。本書特別深入探討正式方法在安全關鍵和時間關鍵應用中的驗證、驗證和優化軟體的使用，例如航空工程中的應用。本書的各章節由領先的企業和政府研發科學家撰寫。本書的內容對研究人員和專業人士都將非常有用。
