Location of Repository

Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008

By Peter H. Welch
Topics: QA76
Publisher: Luniver Press
Year: 2008
OAI identifier: oai:kar.kent.ac.uk:24109

Suggested articles

Preview

Citations

  1. (1999). A theory-based conceptual terminology for m&s vv&a.
  2. Agent-based computational models and generative social science. doi
  3. (2005). An architecture for modelling emergence in CA-like systems. doi
  4. (1985). An exposition on veri and validation of simulation models.
  5. (1985). An exposition on verification and validation of simulation models. doi
  6. (1999). Arguing safety – a systematic approach to managing safety cases.
  7. (1999). Arguing safety { a systematic approach to managing safety cases.
  8. (1995). Arti life as theoretical biology: How to do real science with computer simulation.
  9. (1995). Artificial life as theoretical biology: How to do real science with computer simulation.
  10. (1972). Blood microcirculation in the lymph node during the primary immune response. doi
  11. (2000). Cellular mechanisms of CNS pericytes. doi
  12. (2008). Complex systems models: Engineering simulations.
  13. (2006). Computational modelling, explicit mathematical treatments, and scienti explanation.
  14. (2006). Computational modelling, explicit mathematical treatments, and scientific explanation.
  15. (2008). Concurrency in biological modeling: Behavior, execution and visualization. doi
  16. (2001). Deriving safety requirements using scenarios. doi
  17. (2007). Design and development of dependability case architecture during system development.
  18. (2007). Emergent dynamics of thymocyte development and lineage determination. doi
  19. (2006). Engineering emergence. doi
  20. (2004). Evaluation of agent-oriented software methodologies – examination of the gap between modeling and platform. doi
  21. (2004). Evaluation of agent-oriented software methodologies { examination of the gap between modeling and platform. doi
  22. (2008). Formal methods for biochemical signalling pathways. In Formal Methods: State of the Art and New Directions. doi
  23. (2007). Getting to the site of in ammation: the leukocyte adhesion cascade updated. doi
  24. (2007). Getting to the site of inflammation: the leukocyte adhesion cascade updated. doi
  25. (1995). High endothelial venules (HEVs): specialized endothelium for lymphocyte migration. Immunology Today, doi
  26. (2008). Investigating patterns for the process-oriented modelling and simulation of space in complex systems.
  27. (2004). Lymphocyte tracking across high endothelial venules: dogmas and enigmas. doi
  28. (2004). Lymphocyte trafficking across high endothelial venules: dogmas and enigmas. doi
  29. (2006). Modelling the in uence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. doi
  30. (2006). Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. doi
  31. (1995). No more spineless safety cases: A structured method and comprehensive tool support for the production of safety cases.
  32. (2003). Prometheus: A methodology for developing intelligent agents. doi
  33. (2005). Reactive animation: realistic modeling of complex dynamic systems. doi
  34. (2007). Rule migration: Exploring a design framework for emergence.
  35. (2005). Security Analysis with Deviational Techniques.
  36. (2000). Simulation models as opaque thought experiments.
  37. (2000). The belief-desire-intention model of agency. doi
  38. (2000). The Principled Design of Computer System Safety Analyses.
  39. (2005). The role of pericytes in blood-vessel formation and maintenance. doi
  40. (2003). The Safety of Software – Constructing and Assuring Arguments.
  41. (2003). The Safety of Software { Constructing and Assuring Arguments.
  42. (1986). The use of graphical models in model validation. doi
  43. (2002). The view from elsewhere: Perspectives on alife modelling. doi
  44. (2007). Towards evidence-based architectural design for safety-critical software applications. doi
  45. (2007). Towards veri biological models. doi
  46. (2007). Towards verified biological models. doi
  47. (2007). Using Simulation for Systems of Systems Hazard Analysis. doi
  48. (2005). Veri and validation of simulation models. doi
  49. (2005). Verification and validation of simulation models. doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.