[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

FreyEtal02

  1. Peter Frey & Radharamanan Radhakrishnan & Harold W Carter & Philip A Wilsey & Perry Alexander
  2. A Formal Specification and Verification Framework for Time-Warp-Based Parallel Simulation
  3. IEEE Trans Software Engineering V28n1(Jan 2002)pp58-78
  4. =DEMO SPECIFICATION DESIGN VERIFICATION SIMULATIONS PVS
  5. 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 uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]