12 search results - page 3 / 3 » asm 1998 |
134
click to vote
TODAES
1998
15 years 5 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
186
click to vote
ANSS
1998
IEEE
15 years 10 months ago
1998
IEEE
Simulation, especially discrete event simulation (DES), is used in a variety of disciplines where numerical methods are difficult or impossible to apply. One problem with this met...