Formal methods in specifying discrete event simulation models
Main Author: | Domingo, Lizza Tandoc |
---|---|
Published: |
London School of Economics and Political Science (University of London)
1991
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263339 |
Similar Items
-
A formal framework in VDM for the specification of parallel discrete event simulation
by: Hook, Nicola K.
Published: (1995) -
Specifying distributed applications : the limits of formality
by: Fergus, Edward Joseph
Published: (1990) -
Investigations into the scheduling of events and modelling of interrupts in discrete event simulation
by: Evans, J. B.
Published: (1982) -
Discrete-event simulation on the bulk-synchronous parallel model
by: Marin, Mauricio
Published: (1998) -
Modelling and programming support for parallel discrete event simulation with time warp
by: Hirata, Celso Massaki
Published: (1995)