Rac Autoroutee
XJML v.1.0
Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools.2. Extended Static Checking (ESC). Using ESC/Java2.3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71) ...
How Far Can You Ride Deluxe v.1.0
Sounds easy? ? It isn't! The further you drive the harder it gets! Throughout the rac ...
LEDsafety History Of LED v.1.0
Light-emitting diodes (LEDs) were an accidental discovery at first. At the beginning of the 20th century, it was discovered that when electricity was applied to the semiconductor Silicon Carbide (SiC) it produced a light. This light was too dim to be ...