Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation.

Joseph Porter, Gabor Karsai, Pter Vlgyesi, Harmon Nine, Peter Humke, Graham Hemingway, Ryan Thibodeaux, Janos Sztipanovits

Browse the full MODELS paper archive.