Verification, validation, qualification and certification of enterprise models: Statements and opportunities

The B-book: assigning programs to meanings

Choice Reviews Online · 1997 · 2.1K citations

Language Studies, Linguistics, Programming Languages +7

The Coq proof assistant : reference manual, version 6.1

Bruno Barras, Samuel Boutin, Cristina Cornes et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1997 · 989 citations · Full text

Computing, Computer Science, Mathematics +15

Temporal and Modal Logic.

E. Allen Emerson · 1990 · 824 citations

Computing, Computer Science, Formal Methods +16

PROCEEDINGS OF THE 1997 WINTER SIMULATION CONFERENCE

Kevin J. Healy · 1997 · 511 citations

Natural Resources, Meteorology, Scientific Computing +9

Proceedings of the 2002 Winter Simulation Conference

2002 · 456 citations

Business, Computer Engineering, Simulation-based Design +14