6 Results have been estimated based on internal Intel ® analysis and are provided for informational purposes only.
Any difference in system hardware or software design or configuration may affect actual performance .
www.intel.com6 Die Werte wurden basierend auf internen Untersuchungen von Intel abgeschätzt und haben rein informatorischen Charakter.
Unterschiede im Design oder in der Konfiguration der Hardware oder der Software des Systems können die tatsächliche Leistung beeinflussen .
www.intel.comFuture work will also extend Logic LTS so as to capture complex safety, liveness and fairness properties, thereby allowing us to develop richer Interface Theories.
It is anticipated that this will permit more concise descriptions of reactive systems software , thereby aiding programmers in software specification and design .
Contact:
www.uni-bamberg.deWeiterhin soll Logic LTS so erweitert werden, dass Sicherheits-, Lebendigkeits- und Fairnesseigenschaften in Spezifikationen eingebettet und somit reichhaltigere Interface Theorien entwickelt werden können.
Dies wird eine prägnantere Beschreibung der Software reaktiver Systeme ermöglichen und dadurch Programmierer bei der Software Spezifikation und dem Software Design unterstützten .
Kontakt:
www.uni-bamberg.deFraunhofer-Gesellschaft :
Fraunhofer Institute for Embedded Systems and Communication Technologies ESK - Model-based Software Design and Validation Online in the Web ;
www.esk.fraunhofer.deFraunhofer-Gesellschaft :
Fraunhofer-Institut für Eingebettete Systeme und Kommunikationstechnik ESK - Pressemitteilung Online im Internet;
www.esk.fraunhofer.de6 Die Werte wurden basierend auf internen Untersuchungen von Intel abgeschätzt und haben rein informatorischen Charakter.
Unterschiede im Design oder in der Konfiguration der Hardware oder der Software des Systems können die tatsächliche Leistung beeinflussen .
www.intel.com6 Results have been estimated based on internal Intel ® analysis and are provided for informational purposes only.
Any difference in system hardware or software design or configuration may affect actual performance .
www.intel.comWeiterhin soll Logic LTS so erweitert werden, dass Sicherheits-, Lebendigkeits- und Fairnesseigenschaften in Spezifikationen eingebettet und somit reichhaltigere Interface Theorien entwickelt werden können.
Dies wird eine prägnantere Beschreibung der Software reaktiver Systeme ermöglichen und dadurch Programmierer bei der Software Spezifikation und dem Software Design unterstützten .
Kontakt:
www.uni-bamberg.deFuture work will also extend Logic LTS so as to capture complex safety, liveness and fairness properties, thereby allowing us to develop richer Interface Theories.
It is anticipated that this will permit more concise descriptions of reactive systems software , thereby aiding programmers in software specification and design .
Contact:
www.uni-bamberg.deMöchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Sende uns gern einen neuen Eintrag.