Formal specification and state space analysis of an operational planning process [electronic resourc...
Formal specification and state space analysis of an operational planning process [electronic resource] / Brice Mitchell, Lars Kristensen and Lin Zhang.
About this item
Full title
Author / Creator
Publisher
Edinburgh, S. Aust. : DSTO, 2005.
Date
2005.
Record Identifier
MMS ID
Language
English
Formats
Publication information
Publisher
Edinburgh, S. Aust. : DSTO, 2005.
Series
Place of Publication
South Australia
Date Published
2005.
Access and use
Access Conditions
Commonwealth of Australia 2005.
Subjects
More information
Scope and Contents
Summary
Formal models of business processes support performance and behavioural analysis of the processes for continuous improvement. Formal models are also useful in guiding the development of software tools to support the processes. This report presents a formal model of a planning process used in an operational headquarters of the Australian Defence For...
Alternative Titles
Full title
Formal specification and state space analysis of an operational planning process [electronic resource] / Brice Mitchell, Lars Kristensen and Lin Zhang.
Authors, Artists and Contributors
Author / Creator
Notes
General note
[Technical report] ; DSTO-TR-1762.
Title from title screen (viewed on July 28, 2006).
"AR-013-480"--T.p.
"August 2005"--T.p.
"Command and Control Division, DSTO Defence Science and Technology Organisation"--T.p.
Includes bibliographical references (p.18)
System details note
Mode of access: Internet via World Wide Web. Available at: http://www.dsto.defence.gov.au/corporate/reports/DSTO-TR-1762.pdf.
Contextual Information
Other version (online)
Identifiers
Primary Identifiers
Record Identifier
74VKJy6zjjZg
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/74VKJy6zjjZg
Other Identifiers
MMS ID
991022315319702626
