Record:   Prev Next
Title Theory and application of multi-formalism modeling [electronic resource] / Marco Gribaudo and Mauro Iacono, editors
Imprint Hershey, Pennsylvania (701 E. Chocolate Avenue, Hershey, Pa., 17033, USA) : IGI Global, [2014]
book jacket
Descript 1 online resource (291 p.)
Note Includes bibliographical references
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. Llado, 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, Jose 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
Restricted to subscribers or individual electronic text purchasers
"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
Also available in print
Mode of access: World Wide Web
Description based on title screen (IGI Global, viewed 11/18/2013)
Subject Mathematical models
Large scale population models
Modeling composability
Modeling techniques
Multi-formalism theoretical foundations
Petri-net models and tools
Workflow languages
Alt Author Gribaudo, Marco, 1972- editor
Iacono, Mauro, 1975- editor
Record:   Prev Next