Modelling smart grid IT-OT dependencies for DDoS impact propagation von Acarali, Dilara, Rajesh Rao, K., Rajarajan, Muttukrishnan, Chema, Doron, Ginzburg, Mark

Volltext

A Characterisation of Smart Grid DoS Attacks von Acarali, Dilara, Rajarajan, Muttukrishnan, Chema, Doron, Ginzburg, Mark

Volltext bestellen

A Characterisation of Smart Grid DoS Attacks von Acarali, Dilara, Rajarajan, Muttukrishnan, Chema, Doron, Ginzburg, Mark

Volltext

Method and system for detecting occupancy in a space von Ginzburg, Mark, Laserson, Jonathan, Levy, Gilboa, Zackay, Ora, Frishman, Eyal, Nakash, Moshe

Volltext bestellen

METHOD AND SYSTEM FOR DETECTING OCCUPANCY IN A SPACE von LEVY GILBOA, LASERSON JONATHAN, GINZBURG MARK, NAKASH MOSHE, ZACKAY ORA, FRISHMAN EYAL

Volltext bestellen

Current State of High 120 m Concrete Dam Bratsk Hydroelectric Power Plant von Mark A. Sadovich Tatyana F. Shlyakhtina Sofia M. Ginzburg Alexander M. Yudelevich

Volltext

Satisfiability (SAT) based bounded model checkers von SHACHAM OHAD, GEIST DANIEL, RABINOVOTZ ISHAI, LUSTIG YOAD, GINZBURG MARK, TZOREF RACHEL

Volltext bestellen

Supporting SAT based BMC on Finite Path Models von Geist, Daniel, Ginzburg, Mark, Lustig, Yoad, Rabinovitz, Ishai, Shacham, Ohad, Tzoref, Rachel

Volltext

Satisfiability (SAT) based bounded model checkers von SHACHAM OHAD, GEIST DANIEL, LUSTIG YOAD, RABINOVITZ ISHAI, GINZBURG MARK, TZOREF RACHEL

Volltext bestellen

Satisfiability (SAT) based bounded model checkers von Geist, Daniel, Ginzburg, Mark, Lustig, Yoad, Rabinovitz, Ishai, Shacham, Ohad, Tzoref, Rachel

Volltext bestellen

Satisfiability (SAT) Based Bounded Model Checkers von SHACHAM OHAD, GEIST DANIEL, RABINOVOTZ ISHAI, LUSTIG YOAD, GINZBURG MARK, TZOREF RACHEL

Volltext bestellen

SATISFIABILITY (SAT) BASED BOUNDED MODEL CHECKERS von SHACHAM OHAD, GEIST DANIEL, LUSTIG YOAD, RABINOVITZ ISHAI, GINZBURG MARK, TZOREF RACHEL

Volltext bestellen

Satisfiability (SAT) based bounded model checkers von SHACHAM OHAD, GEIST DANIEL, LUSTIG YOAD, RABINOVITZ ISHAI, GINZBURG MARK, TZOREF RACHEL

Volltext bestellen

Satisfiability (SAT) based bounded model checkers von Geist, Daniel, Ginzburg, Mark, Lustig, Yoad, Rabinovitz, Ishai, Shacham, Ohad, Tzoref, Rachel

Volltext bestellen

Satisfiability (SAT) based bounded model checkers von SHACHAM OHAD, GEIST DANIEL, LUSTIG YOAD, RABINOVITZ ISHAI, GINZBURG MARK, TZOREF RACHEL

Volltext bestellen

Predicting the Mesophases of Copolymer-Nanoparticle Composites von Thompson, Russell B., Ginzburg, Valeriy V., Matsen, Mark W., Balazs, Anna C.

Volltext

HIGH-SPEED HEAD von KRAJTMAN LEV E,SU, GINZBURG MARK I,SU

Volltext bestellen

ARRANGEMENT FOR SUPPLYING LUBRICANT-COOLANT von KRAJTMAN LEV E,SU, GINZBURG MARK I,SU

Volltext bestellen

METAL-CUTTING MACHINE TOOL PROVIDED WITH DEVICE FOR AUTOMATIC CHANGE OF APPLIANCES-CARRIERS von GERSHKOVICH GRIGORIJ V,SU, GINZBURG MARK I,SU

Volltext bestellen

DEVICE FOR ANALYZING PHASE EQUILIBRIUM OF VAPOUR-LIQUID SYSTEMS von GINZBURG MARK S,SU, ALYABINA GALINA F,SU

Volltext bestellen