Old Web
English
Sign In
Acemap
>
authorDetail
>
G. Wainer
G. Wainer
Simulation
Web search engine
DEVS
Formal verification
Search engine
2
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Formal verification of DEVS simulation: Web search engine model case study: 48th Summer Computer Simulation Conference, SCSC 2016, Part of the 2016 Summer Simulation Multi-Conference, SummerSim 2016
2016
I.-P. Alonso
Veronica Gil-Costa
G. Wainer
Mauricio Marin
G. Nicolescu
A. DAmbrogio
F. De Rango
J L Risco Martin
Spintel Ltd
Show All
Source
Cite
Save
Citations (0)
Control Híbrido de Redes Embebidas Basado en DEVS
2009
R. Castro
Ernesto Kofman
G. Wainer
Show All
Source
Cite
Save
Citations (0)
1