- Record: found
- Abstract: not found
- Book Chapter: not found
Complex Systems Design & Management
Real-Time Animation for Formal Specification
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references8
- Record: found
- Abstract: not found
- Article: not found
ACC/AHA/HRS 2008 Guidelines for Device-Based Therapy of Cardiac Rhythm Abnormalities: Executive Summary: A Report of the American College of Cardiology/American Heart Association Task Force on Practice Guidelines (Writing Committee to Revise the ACC/AHA/NASPE 2002 Guideline Update for Implantation of Cardiac Pacemakers and Antiarrhythmia Devices): Developed in Collaboration With the American Association for Thoracic Surgery and Society of Thoracic Surgeons
M J Silka, L W Stevenson, M. O. Sweeney … (2008)
- Record: found
- Abstract: not found
- Book Chapter: not found
BRAMA: A New Graphic Animation Tool for B Models
Thierry Servat (2006)