Reni jurnal bp
Chess Review October 4, 2006 Alexandria, VA Edited and presented by Impact: Fault Tolerance and High Confidence Embedded Systems Design Gabor Karsai Vanderbilt.
Towards a Model-Based Toolchain for High Confidence Design Peter Volgyesi Gabor Karsai Janos Sztipanovits Sandeep Neema Harmon Nine Joe Porter Ryan Thibodeaux.
Tekla_Webinar_06-03-2014
Towards a Model-Based Toolchain for High Confidence Design
Janos Sztipanovits ISIS-Vanderbilt University
