Model-driven engineering of complex systems : supporting the design of reactive systems with augmented modeling and verification mechanisms
Fenglin Han
Bok Bokmål 2020
Digital utgave: Søke-URL
Omfang | 1 bind (varierende paginering) : illustrasjoner
|
---|---|
ISBN | 9788232649228
|