12 search results - page 3 / 3 » asm 1998 |
85
Voted
TODAES
1998
15 years 2 days 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 ...
132
click to vote
ANSS
1998
IEEE
15 years 4 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...