Formal methods in an industrial environment

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/bfb0028732 ◽

1998 ◽

pp. 57-60 ◽

Cited By ~ 2

Author(s):

Jorge R. Cuéllar

Keyword(s):

Formal Methods ◽

Industrial Environment

Download Full-text

Application of formal methods to the VIPER microprocessor

IEE Proceedings E Computers and Digital Techniques ◽

10.1049/ip-e.1987.0023 ◽

1987 ◽

Vol 134 (3) ◽

pp. 133 ◽

Cited By ~ 7

Author(s):

W.J. Cullyer ◽

C.H. Pygott

Keyword(s):

Formal Methods

Download Full-text

CONTENT, FORMS AND METHODS OF PROFESSIONAL AGRICULTURAL STAFF TRAINING IN INTEGRATED EDUCATIONAL AND INDUSTRIAL ENVIRONMENT

Профессиональное образование в современном мире ◽

10.15372/pemw20180421 ◽

2018 ◽

Keyword(s):

Staff Training ◽

Industrial Environment

Download Full-text

Constraint Analysis of System Requirement in SysML with Formal Methods

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss.137.809 ◽

2017 ◽

Vol 137 (6) ◽

pp. 809-814

Author(s):

Yosuke Kakiuchi

Keyword(s):

Formal Methods ◽

Constraint Analysis ◽

System Requirement

Download Full-text

Laser power measurement in industrial environment

International Congress on Applications of Lasers & Electro-Optics ◽

10.2351/1.5060082 ◽

2003 ◽

Cited By ~ 1

Author(s):

Reinhard Kramer ◽

Harald Schwede ◽

Klaus Haensel ◽

Michael Klos

Keyword(s):

Laser Power ◽

Power Measurement ◽

Industrial Environment

Download Full-text

The Current Status of Korean Industrial Crisis Area: Industrial Environment and Crisis Status in Gumi Region

Journal of the Economic Geographical Society of Korea ◽

10.23841/egsk.2019.22.3.291 ◽

2019 ◽

Vol 22 (3) ◽

pp. 291-303

Author(s):

전지혜 ◽

Lee,Chul-Woo

Keyword(s):

Current Status ◽

Industrial Environment ◽

Industrial Crisis

Download Full-text

A Chaplain's Manual For The Evangelical Ministry Within The Urban Industrial Environment Of The Vancouver International Airport

10.2986/tren.002-0696 ◽

1997 ◽

Author(s):

D. Frank McLEOD

Keyword(s):

Industrial Environment ◽

International Airport

Download Full-text

Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development,

10.21236/ada310438 ◽

1995 ◽

Cited By ~ 3

Author(s):

Luqi

Keyword(s):

Software Development ◽

Formal Methods ◽

Computer Aided ◽

Practical Impact

Download Full-text

A Prototype Formal Methods Environment

10.21236/ada389751 ◽

2001 ◽

Author(s):

Ray Teitelbaum

Keyword(s):

Formal Methods

Download Full-text

Applying Practical Formal Methods to the Specifications and Analysis of Security Properties

10.21236/ada464842 ◽

2001 ◽

Cited By ~ 2

Author(s):

Constance Heitmeyer

Keyword(s):

Formal Methods ◽

Security Properties

Download Full-text

Formal Methods for Reverse Engineering Gate-Level Netlists

10.21236/ada623698 ◽

2013 ◽

Cited By ~ 4

Author(s):

Wenchao Li

Keyword(s):

Reverse Engineering ◽

Formal Methods

Download Full-text