| Document Date: 2013-11-30 14:35:51 Open Document File Size: 399,98 KBShare Result on Facebook
Company Springer International Publishing Switzerland / Intel / / Facility University of Passau / Germany Middlesex University / / IndustryTerm connectionhandshake protocol / subject systems / certain verification tool / Abstraction-based software / Software verifiers / state-exploration algorithm / software model checking / sensor-actor systems / software product lines / software-verification tools / software-verification problems / software verification / recent international software-verification competitions / / MarketIndex OOPS / COMP / / OperatingSystem Ubuntu / / Organization Middlesex University / London / University of Passau / / Person Alexander von Rhein / Franco Raimondi / Sven Apel / Dirk Beyer / / Position representative / CPA / programmer / / ProgrammingLanguage C / JAVA / L / / Technology simulation / state-exploration algorithm / JAVA / connectionhandshake protocol / / URL http /
SocialTag |