Filtros de búsqueda

Lista de obras de

A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis

artículo científico publicado en 2010

A uniform definition of stochastic process calculi

artículo científico publicado en 2013

An Experimental Spatio-Temporal Model Checker

artículo científico publicado en 2015

CARMA: Collective Adaptive Resource-sharing Markovian Agents

artículo científico publicado en 2015

Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data

artículo científico publicado en 2014

Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems

artículo científico publicado en 2015

MarCaSPiS: a Markovian Extension of a Calculus for Services

artículo científico publicado en 2009

Model Checking Spatial Logics for Closure Spaces

artículo científico publicado en 2017

Model checking mobile stochastic logic

Modelling Non-linear Crowd Dynamics in Bio-PEPA

artículo científico publicado en 2011

On-the-fly Fast Mean-Field Model-Checking

artículo científico publicado en 2014

On-the-fly Fluid Model Checking via Discrete Time Population Models

artículo científico publicado en 2015

On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination

artículo científico publicado en 2015

On-the-fly Probabilistic Model Checking

artículo científico publicado en 2014

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties

artículo científico publicado en 2015

Scalable context-dependent analysis of emergency egress models

artículo científico publicado en 2011

Spatio-temporal model checking of vehicular movement in public transport systems

artículo científico publicado en 2018

Specifying and Verifying Properties of Space

artículo científico publicado en 2014

Stochastically timed predicate-based communication primitives for autonomic computing

artículo científico publicado en 2014

Dominio Público Uruguay está sostenido por:

Acerca de Dominio Público Uruguay

Ayuda