熱門搜尋
您輸入的關鍵字: Vaandrager
搜尋結果共 6 筆, 頁數 1 / 1
呈現:
This volume originates from the School on Embedded Systems held in Veldhoven, The Netherlands, in No... more
This open access book is a thorough update and expansion of the 2017 edition of The Handbook of Salu... more
This book constitutes the refereed proceedings of the 7th International Conference on Formal Modelin... more
This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathemat... more