Isbn: 9784627854215 - 形式的モデル化: 離散事象/実時間/ハイブリッドシステムのモデル化と解析 (1 resultados)

This academic text, published by the respected Morikita Shuppan, presents an in-depth exploration of formal modeling methodologies. It provides a comprehensive analysis of techniques specifically tailored for discrete event, real-time, and hybrid systems. The book is an invaluable resource for researchers, engineers, and students seeking to understand and apply advanced modeling and analysis principles in complex system design. Note: The text is entirely in Japanese. Brand New Japanese Edition. Ships worldwide from Japan via Japan Post. Expedited shipping via FedEx available.…