Fluid Performability Analysis of Nested Automata Models

Luca Bortolussi; Jane Hillston; Mirco Tribastone

doi:10.1016/j.entcs.2014.12.011

Fluid Performability Analysis of Nested Automata Models

Luca Bortolussi, Jane Hillston, Mirco Tribastone

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the Seventh International Workshop on Practical Applications of Stochastic Modelling (PASM)
Publisher	Elsevier
Pages	27-47
Number of pages	21
Volume	310
DOIs	https://doi.org/10.1016/j.entcs.2014.12.011
Publication status	Published - 5 Jan 2015
Event	PASM'14 - Newcastle, United Kingdom Duration: 13 May 2014 → …

Workshop

Workshop	PASM'14
Country/Territory	United Kingdom
City	Newcastle
Period	13/05/14 → …

Access to Document

10.1016/j.entcs.2014.12.011

pasm_sos_mainAccepted author manuscript, 517 KB

http://www.sciencedirect.com/science/article/pii/S1571066114000954

QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)
Hillston, J. (Principal Investigator) & Gilmore, S. (Co-investigator)
EU government bodies
1/04/13 → 31/03/17
Project: Research

Cite this

@inproceedings{2d95805f30014566863caff56d9713e2,

title = "Fluid Performability Analysis of Nested Automata Models",

author = "Luca Bortolussi and Jane Hillston and Mirco Tribastone",

year = "2015",

month = jan,

day = "5",

doi = "10.1016/j.entcs.2014.12.011",

language = "English",

volume = "310",

pages = "27--47",

booktitle = "Proceedings of the Seventh International Workshop on Practical Applications of Stochastic Modelling (PASM)",

publisher = "Elsevier",

address = "Netherlands",

note = "PASM'14 ; Conference date: 13-05-2014",

}

TY - GEN

T1 - Fluid Performability Analysis of Nested Automata Models

AU - Bortolussi, Luca

AU - Hillston, Jane

AU - Tribastone, Mirco

PY - 2015/1/5

Y1 - 2015/1/5

U2 - 10.1016/j.entcs.2014.12.011

DO - 10.1016/j.entcs.2014.12.011

M3 - Conference contribution

VL - 310

SP - 27

EP - 47

BT - Proceedings of the Seventh International Workshop on Practical Applications of Stochastic Modelling (PASM)

PB - Elsevier

T2 - PASM'14

Y2 - 13 May 2014

ER -

Fluid Performability Analysis of Nested Automata Models

Workshop

Access to Document

Projects

QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)

Cite this