![NuSMV / Technology / Automation / Electric motors / Model checking / Inverter / Semaphore / Asynchronous circuit / Electrical engineering / Model checkers / Electromagnetism NuSMV / Technology / Automation / Electric motors / Model checking / Inverter / Semaphore / Asynchronous circuit / Electrical engineering / Model checkers / Electromagnetism](https://www.pdfsearch.io/img/12ac607425dd65642b0eb17f2bfa0b6c.jpg)
| Document Date: 2011-06-16 06:18:42 Open Document File Size: 191,67 KBShare Result on Facebook
Company Synchronous Systems / Asynchronous Systems / / Currency LTL / / / IndustryTerm logical product / communication protocols / / Person Gavin Keighren / Roberto Cavada / Alessandro Cimatti / Marco Roveri / Marco Pistore / / / Position interpreter / / Technology Simulation / describing communication protocols / /
SocialTag |