IOS Press / AMD / R. Sebastiani S. A. / DFKI GmbH / /
Continent
Europe / /
Country
Germany / / /
EntertainmentAwardEvent
the Emmy / /
Event
FDA Phase / /
Facility
The Satisfiability Modulo Theories Library / University of Bremen / Institute of Computer Science / Institute of Space Systems / /
IndustryTerm
communication protocol / fault tolerance utilizing hardware-software-co-synthesis / open source software / metaSMT server / search problems / /
Organization
Institute of Space Systems / German Research Foundation / University of Bremen / U.S. Securities and Exchange Commission / German Aerospace Center / Institute of Computer Science / /