Normal view
MARC view
Engineering Mathematical models (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): International School on Formal Methods for the Design of Computer, Communication, and Software Systems (12th : 2012 : Bertinoro, Italy) 45757, Formal methods for model-driven engineering :, ©2012.