Yazar
Agha, Gul. editor.
Format:
Electronic Resources
Alıntı:
topical sections entitled: Markov processes; tools; sampling, inference, and optimization methods; Markov
Yazar
Campos, Javier. editor.
Format:
Electronic Resources
Alıntı:
and applications; tools; petri nets, process algebra and fault trees; applications; and queuing
View Other Search Results
Yazar
Fiems, Dieter. editor.
Format:
Electronic Resources
Alıntı:
Behavior -- Modeling and Simulation Tools.
Yazar
Parker, David. editor. (orcid)0000-0003-4137-8862
Format:
Electronic Resources
Alıntı:
-- Probabilistic Modelling and Abstraction -- Applications and Tools.
Yazar
Bernardo, Marco. editor.
Format:
Electronic Resources
Alıntı:
Equations -- Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools -- Spatial
Yazar
Norman, Gethin. editor.
Format:
Electronic Resources
Alıntı:
/population analysis; models and tools; simulation; queueing, debugging and tools; process algebra and
Arama Sonuçlarını Sınırlandır
Daraltılmış: