UID:
almahu_9947420833002882
Format:
PDFs (291 pages).
ISBN:
9781466646605
Content:
"This book boldly explores the importance of multi-formalism modeling by gathering experiences, theories, applications, and solutions from diverse perspectives of those involved in this field"--Provided by publisher.
Note:
An introduction to multiformalism modeling / Marco Gribaudo, Mauro Iacono -- Combining heterogeneity, compositionality, and automatic generation in formal modelling / Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini -- Towards a multi-formalism multi-solution framework for model-driven performance engineering / Catalina M. Lladó, Pere Bonet, Connie U. Smith -- Multi-modeling, meta-modeling, and workflow languages / Alexander H. Levis, Ahmed Abu Jbara -- Multiformalism modeling compositionality in SIMTHESys / Enrico Barbierato -- A meta-model-based approach to the definition of the analysis results of Petri-Net models / Simona Bernardi, José Merseguer -- A Petri net-based tool for the analysis of generalized continuous time Bayesian networks / Daniele Codetta-Raiteri, Luigi Portinale -- GPA: a multiformalism, multisolution approach to efficient analysis of large-scale population models / Jeremy T. Bradley, Marcel C. Guenther, Richard A. Hayden, Anton Stefanek -- A symbolic approach to the analysis of multi-formalism Markov reward models / Kai Lampka, Markus Siegle -- Designing user-defined modeling languages with SIMTHESys / Mauro Iacono -- A unified modelling and operational framework for fault detection, identification, and recovery in autonomous spacecrafts / Andrea Bobbio, Daniele Codetta-Raiteri, Luigi Portinale, Andrea Guiotto, Yuri Yushtein -- A model-driven methodology to evaluate performability of metro systems / Roberto Nardone, Stefano Marrone.
,
Also available in print.
,
Mode of access: World Wide Web.
Additional Edition:
Print version: ISBN 1466646594
Additional Edition:
ISBN 9781466646599
Language:
English
DOI:
10.4018/978-1-4666-4659-9
URL:
Chapter PDFs via platform: