检索结果 - Seiter, Julia

Automatic methods for the refinement of system models from the specification to the implementation 由 Seiter, Julia, Wille, Rober, Drechsler, Rolf

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy