<--- Back to Details
First PageDocument Content
Explosion protection / Electrical safety / Electromagnetism / Electrical engineering / Safety / Occupational safety and health / Electrical equipment in hazardous areas / Intrinsic safety / Professional certification / Explosive material
Date: 2013-01-17 09:26:28
Explosion protection
Electrical safety
Electromagnetism
Electrical engineering
Safety
Occupational safety and health
Electrical equipment in hazardous areas
Intrinsic safety
Professional certification
Explosive material

(Pty) Ltd Government Appointed ATL

Add to Reading List

Source URL: www.explolabs.co.za

Download Document from Source Website

File Size: 699,85 KB

Share Document on Facebook

Similar Documents

Is Interaction Necessary for Distributed Private Learning? Adam Smith∗ , Abhradeep Thakurta† , Jalaj Upadhyay∗ of Electrical Engineering and Computer Science, Pennsylvania State University, Email: {asmith, jalaj}@p

DocID: 1xVSf - View Document

Computer network security / Cyberwarfare / Computing / Security engineering / Honeypot / Computer security / Virtual machine / VMware / Internet privacy / Honeyd / Client honeypot

Imperial College London Department of Electrical and Electronic Engineering MEng Individual Project Project Title:

DocID: 1xVMN - View Document

Computing / Technology / California / EMC Corporation / VMware / Embedded system / Synopsys / USENIX Annual Technical Conference / Debugging / Intel / Software Guard Extensions / Edouard Bugnion

Baris Kasikci Assistant Professor Electrical Engineering and Computer Science University of Michigan 4820 BBB 2260 Hayward Street

DocID: 1xVL2 - View Document

Mathematical logic / Theoretical computer science / Mathematics / Formal methods / Boolean algebra / Temporal logic / Edsger W. Dijkstra / Predicate transformer semantics / Model theory / Hoare logic / True quantified Boolean formula / Linear temporal logic

Automatic Generation of Local Repairs for Boolean Programs Roopsha Samanta, Jyotirmoy V. Deshmukh and E. Allen Emerson Department of Electrical and Computer Engineering and Department of Computer Sciences, The University

DocID: 1xVs1 - View Document

Circuit complexity / NC / Mathematics / Theoretical computer science / Numerical software / Lemmas / Numerical linear algebra

Bounded Verification with On-the-Fly Discrepancy Computation ? Chuchu Fan and Sayan Mitra {cfan10,mitras}@illinois.edu Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign.

DocID: 1xVnP - View Document