Siemens Industrial Experience

Practical Formal Methods for Hardware Design ◽

10.1007/978-3-642-60641-0_8 ◽

1997 ◽

pp. 159-172

Author(s):

Ronald Herrmann ◽

Jörg Bormann ◽

Thomas Filkorn ◽

Jörg Lohse ◽

Hans-Albert Schneider

Keyword(s):

Industrial Experience

Download Full-text

Industrial experience with SPARK

ACM SIGAda Ada Letters ◽

10.1145/369264.369270 ◽

2000 ◽

Vol XX (4) ◽

pp. 64-68 ◽

Cited By ~ 17

Author(s):

Roderick Chapman

Keyword(s):

Industrial Experience

Download Full-text

Splitting a Large Software Archive for Easing Future Software Evolution - An Industrial Experience Report using Formal Concept Analysis

2008 12th European Conference on Software Maintenance and Reengineering ◽

10.1109/csmr.2008.4493310 ◽

2008 ◽

Cited By ~ 2

Author(s):

Marco Glorie ◽

Andy Zaidman ◽

Lennart Hofland ◽

Arie van Deursen

Keyword(s):

Formal Concept Analysis ◽

Software Evolution ◽

Concept Analysis ◽

Experience Report ◽

Formal Concept ◽

Industrial Experience ◽

Large Software

Download Full-text

Industrial Experience in Fly Ash Collection

Air Repair ◽

10.1080/00966665.1953.10467574 ◽

1953 ◽

Vol 2 (3) ◽

pp. 114-118

Author(s):

B. S. Norling

Keyword(s):

Fly Ash ◽

Industrial Experience

Download Full-text

Intelligent Agents in the Service-Oriented World - An Industrial Experience Report

2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology ◽

10.1109/wi-iat.2009.365 ◽

2009 ◽

Cited By ~ 3

Author(s):

Li Guo ◽

Moustafa Ghanem ◽

Vasa Curcin ◽

Nabeel Azam

Keyword(s):

Intelligent Agents ◽

Experience Report ◽

Industrial Experience ◽

Service Oriented

Download Full-text

95/01719 Five years of industrial experience with the use of advanced ceramic components in burner systems

Fuel and Energy Abstracts ◽

10.1016/0140-6701(95)93384-0 ◽

1995 ◽

Vol 36 (2) ◽

pp. 117

Keyword(s):

Industrial Experience ◽

Advanced Ceramic ◽

Ceramic Components

Download Full-text

Automated performance validation of software design: an industrial experience

Proceedings. 19th International Conference on Automated Software Engineering, 2004. ◽

10.1109/ase.2004.1342751 ◽

2004 ◽

Cited By ~ 1

Author(s):

D. Compare ◽

A. D'Onofrio ◽

A. Di Marco ◽

P. Inverardi

Keyword(s):

Software Design ◽

Industrial Experience ◽

Performance Validation

Download Full-text

Industrial experience with a quantized Hall effect system

10.1109/cpem.1990.110038 ◽

2002 ◽

Author(s):

K.B. Jaeger ◽

P.D. Levine ◽

C.A. Zack

Keyword(s):

Hall Effect ◽

Industrial Experience

Download Full-text

Industrial Experience in Evaluation of Hydrate Formation, Inhibition, and Dissociation in Pipeline Design and Operation

Annals of the New York Academy of Sciences ◽

10.1111/j.1749-6632.1994.tb38825.x ◽

1994 ◽

Vol 715 (1 Natural Gas H) ◽

pp. 75-93 ◽

Cited By ~ 42

Author(s):

M. N. LINGELEM ◽

A. I. MAJEED ◽

E. STANGE

Keyword(s):

Hydrate Formation ◽

Industrial Experience ◽

Pipeline Design

Download Full-text

INDUSTRIAL EXPERIENCE OF FERROSILICON-ALUMINUM PRODUCTION IN SIX-ELECTRODE SUBMERGED ARC FURNACE WITH USING WASTES FROM COAL MINING INDUSTRY

Metallurg ◽

10.52351/00260827_2021_10_25 ◽

2021 ◽

pp. 25-31

Author(s):

S. Kozłowski ◽

W. Bialik ◽

S. Gil

Keyword(s):

Coal Mining ◽

Mining Industry ◽

Aluminum Production ◽

Arc Furnace ◽

Coal Mining Industry ◽

Industrial Experience ◽

Submerged Arc Furnace ◽

Submerged Arc

Download Full-text

Industrial Experience with Double Quality Control

Practical Distillation Control ◽

10.1007/978-1-4757-0277-4_16 ◽

1992 ◽

pp. 331-350 ◽

Cited By ~ 2

Author(s):

Henk Leegwater

Keyword(s):

Quality Control ◽

Industrial Experience

Download Full-text