![Promela / Software engineering / Model checkers / Model checking / SPIN model checker Promela / Software engineering / Model checkers / Model checking / SPIN model checker](https://www.pdfsearch.io/img/31a81f7b621d7e9ad2ca8cd303fad272.jpg)
| Document Date: 2008-09-22 13:35:00 Open Document File Size: 74,62 KBShare Result on Facebook
City Reading / / / Holiday Assumption / / IndustryTerm software component verification / requirement synthesis tool / requirement synthesis algorithm / window protocol / Typical applications / / Organization German Research Foundation / Transregional Collaborative Research Center / IEEE Computer Society / / Person Bernd Finkbeiner / Peter / Sven Schewe Universit / / Position elevator controller / / ProvinceOrState Massachusetts / / PublishedMedium Complex Systems / / Technology sliding window protocol / requirement synthesis algorithm / / URL http /
SocialTag |