Login / Signup
Formal Modeling and Simulation for SARS-CoV-2 Containment Scenarios in Catalonia.
Pau Fonseca i Casas
Joan Garcia i Subirana
Victor Garcia i Carrasco
Xavier Pi i Palomés
Gabriel A. Wainer
Published in:
Comput. Sci. Eng. (2022)
Keyphrases
</>
formal models
discrete event simulation
agent based modeling
real world
artificial intelligence
mathematical model
e learning
relational databases
simulation study
modeling language
modeling method
crowd simulation