ISBN: 9787121467653 (1 Ergebnisse)
Rigorous system designmethods. trends and challenges(Chinese Edition)
[ FA ] YUE SE FU· XI FA JI SI ( Joseph Sifakis ) . WANG QIANG . ZHANG JI YONG YI
- Hardcover
Anbieter: liu xing, Nanjing, JS, Chinaliu xing
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 105,39
EUR 16,10 VersandVersand von China nach USAAnzahl: 3 verfügbar
Hardcover. Zustand: 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. …
