Sciweavers

17740 search results - page 133 / 3548
» Simulation Using Orchestration
Sort
View
SIGADA
1998
Springer
15 years 10 months ago
Use of Ada in Digital Radar Landmass Simulation (DRLMS)
Jim Hopper, Jennifer De Bilbiss, Harry Heaton, Tom...
ICCD
1996
IEEE
83views Hardware» more  ICCD 1996»
15 years 10 months ago
The use of random simulation in formal verification
Florian Krohm, Andreas Kuehlmann, Arjen Mets