Stochastic Process Algebra and Stability Analysis of Collective Systems-Reference-Cited by-同舟云学术

Stochastic Process Algebra and Stability Analysis of Collective Systems

Published:2013 Issue: Volume: Page:1-15
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bortolussi Luca,Latella Diego,Massink Mieke

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-38493-6_1

Reference22 articles.

1. GNU Octave, http://www.gnu.org/software/octave/

2. Matlab symbolic toolbox, http://www.mathworks.it/products/symbolic/

3. Maxima, a computer algebra system, http://maxima.sourceforge.net/

4. SBML: Systems Biology Markup Language, http://sbml.org

5. Bortolussi, L., Le Boudec, J.Y., Latella, D., Massink, M.: Revisiting the limit behaviour of El Botellon. Tech. Rep. EPFL-REPORT-179935, École Polytechnique Fédérale de Lausanne - INFOSCIENCE (July 2012)

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Using the ORIS Tool and the SIRIO Library for Model-Driven Engineering of Quantitative Analytics;Computer Performance Engineering;2023

2. An Inquiry into Model Validity When Addressing Complex Sustainability Challenges;Complexity;2022-09-30

3. Mesoscopic Modelling of Pedestrian Movement Using C arma and Its Tools;ACM Transactions on Modeling and Computer Simulation;2018-04-03

4. Modelling movement for collective adaptive systems with CARMA;Electronic Proceedings in Theoretical Computer Science;2016-07-07

5. Quantitative Abstractions for Collective Adaptive Systems;Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems;2016