Suchergebnisse

2 Ergebnisse für „temporallogischer“

Diverse Bücher: Komposition temporallogischer Speziï¬kationen: Speziï¬kation und Veriï¬kation von Systemen
www.spezifikationen.de/de/detail/Komposition-temporallogischer-Spezifikationen-Spezifikation-und-Verifikation-von-Systemen-mit-Temporal-Logic-of-Distributed-Actions-6806446075/click/
Diverse Bücher: Komposition-temporallogischer-Spezikationen-Spezikation-und-Verikation-von-Systemen-mit-Tempor
www.spezifikationen.de/de/detail/Komposition-temporallogischer-Spezikationen-Spezikation-und-Verikation-von-Systemen-mit-Temporal-Logic-of-Distributed-Actions-6806446075/click/