1
por Bjørner, Dines., Bjørner, Dines.
Publicado 2006
Tabla de Contenidos: ... -- Modularisation -- Automata and Machines -- Concurrency and Temporality -- Petri Nets -- Message and Live Sequence...
Enlace del recurso
Electrónico eBook
2
Publicado 2005
Tabla de Contenidos: ... Sequence Charts -- Invited Talk -- A Next-Generation Platform for Analyzing Executables -- Calculating...
Enlace del recurso
Electrónico eBook
3
Publicado 2007
Tabla de Contenidos: ... of Multi-agent Systems by Using EUSMs -- Strong Safe Realizability of Message Sequence Chart Specifications...
Enlace del recurso
Electrónico eBook
4
Publicado 2014
Tabla de Contenidos: ... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...
Enlace del recurso
Electrónico eBook