Specification and Verification of Trustworthy Component-Based Real-Time Reactive Systems Presented by: Mubarak Mohammad Authors: Vasu Alagar and Mubarak.
Chess Review November 21, 2005 Berkeley, CA Edited and presented by Model-Based Design Overview Janos Sztipanovits and Gabor Karsai ISIS, Vanderbilt University.
Chess Review October 4, 2006 Alexandria, VA Edited and presented by Model-Based Design Janos Sztipanovits Vanderbilt University.
Model-Based Design Overview