Formal modeling and analysis of timed systems 5th International Conference, FORMATS 2007 : Salzburg, Austria, October 3-5, 2007 : proceedings - FORMATS 2007 (Salcburk, Rakousko); Raskin, Jean-François, 1972-; Thiagarajan, P. S., 1948- (Berlin : Springer, 2007)
Keywords: modelování a simulace; modeling and simulation; sborníky konferencí