Výsledky vyhledávání - "temporal constraint programming"

Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios Autor Toro, Mauricio, Desainte-Catherine, Myriam, Rueda, Camilo

“…Most interactive scenarios are based on informal specifications, so that it is not possible to formally verify properties of such systems. We advocate the need…”
Získat plný text