What is Model checking? Model checking has proven to be a successful technology to verify requirements and design for a variety of real-time embedded and safety-critical systems. Here’s how it works.

Introduction to Simulation Modeling is a course for first-time or novice users of RiverWare. It has been taught for over 20 years by the RiverWare research and development team, and has received ...

Join SAF today to save $80 on your course registration and to take advantage of SAF's growing member benefits including here on ForestEd.

Prior knowledge needed: ECEA 5700 Introduction to Power Electronics, ECEA 5701 Converter Circuits, ECEA 5702 Converter Control, ECEA 5703 Magnetics Design ...