[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Peter Frey & Radharamanan Radhakrishnan & Harold W Carter & Philip A Wilsey & Perry Alexander
- A Formal Specification and Verification Framework for Time-Warp-Based Parallel Simulation
- IEEE Trans Software Engineering V28n1(Jan 2002)pp58-78
- =DEMO SPECIFICATION DESIGN VERIFICATION SIMULATIONS PVS
- PVS: allows conservative extension of theories -- adding a new function and axiom preserves consistency. 67 axioms and 459 theorems spread over 9 theories.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]