Thomas Instruments - Blasting Electronics
Thomas Instruments - VMS-2000 Series VMS-200E Series DM-100 Series Blaster Electronics Documentation Software seismography, seismograph, vibration monitor, measurment instruments, drilling, blasting, drill monitor, lightning detection, galvanometers, seismographs, sirens, ohmmeters, blasting, blasting devices
http://www.vibration.com/

Constellation Technology Corporation
analytical instruments, instruments, scientific instruments, nuclear instruments, radiation detection, multichannel analyzer, spectrometers,
http://www.contech.com/

Model checking
Model checking Erlang code through formal methods.
http://www.dcs.shef.ac.uk/~jd/Projects/erlang.html

Grumberg, Orna
The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite objects, theorem provers, static analysis and model checking, coverage in model checking.
http://www.cs.technion.ac.il/users/orna/

TILT Compiler
TILT Compiler Home Page
http://www.tilt.cs.cmu.edu/

BioComp Instruments
Manufactures and sells density gradient forming and fractionating instruments and blotting instruments and bottles.
http://www.biocompinstruments.com

Axon Instruments
Laboratory instruments and software for the neurosciences and genomics, and clinical monitoring instruments for neurosurgery and neurology.
http://www.axon.com/

Medworks Instruments
discounts on professional quality medical instruments and electronic components
http://www.medexamtools.com/

Team Tech Instruments Pte Ltd,
Supplier of electronic test and scientific measuring instruments, data recorders, and digital instruments. Singapore.
http://www.teamtech.com.sg

Axon Instruments, Inc.
Designs and manufactures quality laboratory instruments and software for the neurosciences, and clinical monitoring instruments for neurosurgery and neurology.
http://www.axon.com/