Search

Now showing items 1-10 of 12

Analysis and validation of AUTOSAR models

Type: Conference Paper

Author : Kienberger, Julian; Minnerup, Pascal; Kuntz, Stefan; Bauer, Bernhard

Publisher: IEEE

Year: 2014

A formal semantics for Sequence Diagrams and a strategy for system analysis

Type: Conference Paper

Author : Lima, Lucas; Iyoda, Juliano; Sampaio, Augusto

Publisher: IEEE

Year: 2014

Gradient-based magnetic resonance electrical properties imaging of brain tissues

Type: Conference Paper

Author : Jiaen Liu; Xiaotong Zhang; Schmitter, S.; Van de Moortele, P.-F.; Bin He

Publisher: IEEE

Year: 2014

Form-wound stator winding for high-speed induction motors

Type: Conference Paper

Author : Khang, H.V.; Saari, J.; Arkkio, A.

Publisher: IEEE

Year: 2014

Regulatory control of nano-based therapies in Canada

Type: Conference Paper

Author : Drmanic Storbeck, Suzana; Semalulu, Souleh; Omara, Felix; Vu, Duc

Publisher: IEEE

Year: 2014

Security and privacy in the Internet of Things: Current status and open issues

Type: Conference Paper

Author : Abomhara, Mohamed; Koien, Geir M.

Publisher: IEEE

Year: 2014

Financial soundness in Indian insurance sector: A comparison between two leading life insurers

Type: Conference Paper

Author : Chakraborty, Joy; Sengupta, Partha Pratim

Publisher: IEEE

Year: 2014

Singular layer transmission for continuous-variable quantum key distribution

Type: Conference Paper

Author : Gyongyosi, Laszlo; Imre, Sandor

Publisher: IEEE

Year: 2014

Self-homodyne coherent detection in multi-core fiber links

Type: Conference Paper

Author : Puttnam, Benjamin J.; Luis, Ruben S.; Delgado Mendinueta, Jose-Manuel; Sakaguchi, Jun; Klaus, Werner; Awaji, Yoshinari; Kanno, Atkushi; Kawanishi, Tetsuya; Wada, Naoya

Publisher: IEEE

Year: 2014

Why Can't People Estimate: Estimation Bias and Strategic Mis-estimation

Type: Conference Paper

Author : Galorath, Dan

Publisher: IEEE

Year: 2014

Search

Analysis and validation of AUTOSAR models

A formal semantics for Sequence Diagrams and a strategy for system analysis

Gradient-based magnetic resonance electrical properties imaging of brain tissues

Form-wound stator winding for high-speed induction motors

Regulatory control of nano-based therapies in Canada

Security and privacy in the Internet of Things: Current status and open issues

Financial soundness in Indian insurance sector: A comparison between two leading life insurers

Singular layer transmission for continuous-variable quantum key distribution

Self-homodyne coherent detection in multi-core fiber links

Why Can't People Estimate: Estimation Bias and Strategic Mis-estimation

Author

Publisher

Year

Keywords

Type

Language (ISO)

Content Type

Publication Title

Search

Filters

Analysis and validation of AUTOSAR models

A formal semantics for Sequence Diagrams and a strategy for system analysis

Gradient-based magnetic resonance electrical properties imaging of brain tissues

Form-wound stator winding for high-speed induction motors

Regulatory control of nano-based therapies in Canada

Security and privacy in the Internet of Things: Current status and open issues

Financial soundness in Indian insurance sector: A comparison between two leading life insurers

Singular layer transmission for continuous-variable quantum key distribution

Self-homodyne coherent detection in multi-core fiber links

Why Can't People Estimate: Estimation Bias and Strategic Mis-estimation