Standard
Stochastically enhanced timed automata. /
Blair, Lynne; Jones, Trevor
; Blair, Gordon.
Formal Methods for Open Object-Based Distributed Systems IV - TC6/WG6.1, Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000. 2000. p. 327-347 (IFIP Advances in Information and Communication Technology; Vol. 49 AICT).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Harvard
Blair, L, Jones, T
& Blair, G 2000,
Stochastically enhanced timed automata. in
Formal Methods for Open Object-Based Distributed Systems IV - TC6/WG6.1, Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000. IFIP Advances in Information and Communication Technology, vol. 49 AICT, pp. 327-347, 4th International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000, Stanford, CA, United States,
6/09/00.
https://doi.org/10.1007/978-0-387-35520-7_17
APA
Vancouver
Blair L, Jones T
, Blair G.
Stochastically enhanced timed automata. In Formal Methods for Open Object-Based Distributed Systems IV - TC6/WG6.1, Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000. 2000. p. 327-347. (IFIP Advances in Information and Communication Technology). doi: 10.1007/978-0-387-35520-7_17
Author
Blair, Lynne ; Jones, Trevor
; Blair, Gordon. /
Stochastically enhanced timed automata. Formal Methods for Open Object-Based Distributed Systems IV - TC6/WG6.1, Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000. 2000. pp. 327-347 (IFIP Advances in Information and Communication Technology).
Bibtex
@inproceedings{0c4f50da48724a37b473b52f9d8954cf,
title = "Stochastically enhanced timed automata",
abstract = "There is currently considerable interest in the formal specification of distributed multimedia systems, with the majority of research in this area considering the use of timed formal languages for the specification of such systems. In contrast, however, there has been less research on the specification of stochastic behaviour, and yet this style of behaviour is predominant in this class of system. We therefore present stochastically enhanced timed automata, as a solution to the problem. The paper also introduces an associated tool suite that supports the editing, composition and simulation of such automata. Finally, a multimedia example is presented, illustrating the use of the enhanced automata and the associated tool suite.",
author = "Lynne Blair and Trevor Jones and Gordon Blair",
year = "2000",
month = dec,
day = "1",
doi = "10.1007/978-0-387-35520-7_17",
language = "English",
isbn = "9781475710182",
series = "IFIP Advances in Information and Communication Technology",
pages = "327--347",
booktitle = "Formal Methods for Open Object-Based Distributed Systems IV - TC6/WG6.1, Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000",
note = "4th International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000 ; Conference date: 06-09-2000 Through 08-09-2000",
}
RIS
TY - GEN
T1 - Stochastically enhanced timed automata
AU - Blair, Lynne
AU - Jones, Trevor
AU - Blair, Gordon
PY - 2000/12/1
Y1 - 2000/12/1
N2 - There is currently considerable interest in the formal specification of distributed multimedia systems, with the majority of research in this area considering the use of timed formal languages for the specification of such systems. In contrast, however, there has been less research on the specification of stochastic behaviour, and yet this style of behaviour is predominant in this class of system. We therefore present stochastically enhanced timed automata, as a solution to the problem. The paper also introduces an associated tool suite that supports the editing, composition and simulation of such automata. Finally, a multimedia example is presented, illustrating the use of the enhanced automata and the associated tool suite.
AB - There is currently considerable interest in the formal specification of distributed multimedia systems, with the majority of research in this area considering the use of timed formal languages for the specification of such systems. In contrast, however, there has been less research on the specification of stochastic behaviour, and yet this style of behaviour is predominant in this class of system. We therefore present stochastically enhanced timed automata, as a solution to the problem. The paper also introduces an associated tool suite that supports the editing, composition and simulation of such automata. Finally, a multimedia example is presented, illustrating the use of the enhanced automata and the associated tool suite.
U2 - 10.1007/978-0-387-35520-7_17
DO - 10.1007/978-0-387-35520-7_17
M3 - Conference contribution/Paper
AN - SCOPUS:84868276043
SN - 9781475710182
T3 - IFIP Advances in Information and Communication Technology
SP - 327
EP - 347
BT - Formal Methods for Open Object-Based Distributed Systems IV - TC6/WG6.1, Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000
T2 - 4th International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2000
Y2 - 6 September 2000 through 8 September 2000
ER -
