1
Publicado em 2007
Sumário: ... -- Model-Checking One-Clock Priced Timed Automata -- Approximating a Behavioural Pseudometric Without...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2006
Sumário: ...Invited Talks -- Timed Alternating-Time Temporal Logic -- Concurrent Semantics Without the Notions...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2010
Sumário: ... Composition Based on Low Cost Mechanism -- Research on Fuzzy Extension Synthesis Evaluation Method...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2013
Sumário: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
Obter o texto integral
Recurso Electrónico livro electrónico