ISBN 10: 7121467658 ISBN 13: 9787121467653
Da: liu xing, Nanjing, JS, Cina
EUR 102,17
Quantità: 3 disponibili
Aggiungi al carrelloHardcover. Condizione: New. HardCover. Pub Date: 2024-01 Publisher: Electronic Industry Press This book proposes a rigorous system design method based on formal models. elaborates on the basic principles of the rigorous system design method. and introduces the rigorous system design framework BIP ( Behavior. Interaction. Priority) modeling language. formal semantics and its tool chain. Autonomous systems are an important form of artificial intelligence technology application. This book discusses the trends and challenge.