1
Pubblicazione 2007
Sommario: ... -- Model-Checking One-Clock Priced Timed Automata -- Approximating a Behavioural Pseudometric Without...
Testo
Elettronico eBook
2
Pubblicazione 2006
Sommario: ...Invited Talks -- Timed Alternating-Time Temporal Logic -- Concurrent Semantics Without the Notions...
Testo
Elettronico eBook
3
Pubblicazione 2010
Sommario: ... Composition Based on Low Cost Mechanism -- Research on Fuzzy Extension Synthesis Evaluation Method...
Testo
Elettronico eBook
4
Pubblicazione 2013
Sommario: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
Testo
Elettronico eBook