ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques
Latest Publications
TOTAL DOCUMENTS
15
(FIVE YEARS 0)
H-INDEX
6
(FIVE YEARS 0)
Published By IEEE
0818670053
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
A formal approach to reactive systems software: a telecommunications application in ESTEREL
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques
◽
10.1109/wift.1995.515485
◽
2002
◽
Cited By ~ 8
Author(s):
L.J. Jagadeesan
◽
C. Puchol
◽
J.E. Von Olnhausen
Keyword(s):
Reactive Systems
◽
Formal Approach
◽
Systems Software
Download Full-text
Experiences in applying formal methods to the analysis of software and system requirements
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques
◽
10.1109/wift.1995.515477
◽
2002
◽
Cited By ~ 7
Author(s):
D. Hamilton
◽
R. Covington
◽
J. Kelly
Keyword(s):
Formal Methods
◽
System Requirements
Download Full-text
Experiences with specification and verification in LOTOS: a report on two case studies
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques
◽
10.1109/wift.1995.515487
◽
2002
◽
Cited By ~ 3
Author(s):
C. Kirkwood
◽
M. Thomas
Keyword(s):
Case Studies
◽
Specification And Verification
Download Full-text
Timing analysis of industrial real-time systems
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques
◽
10.1109/wift.1995.515482
◽
2002
◽
Cited By ~ 10
Author(s):
S. Campos
◽
E. Clarke
◽
W. Marrero
◽
M. Minea
Keyword(s):
Real Time
◽
Timing Analysis
◽
Real Time Systems
◽
Time Systems
Download Full-text
Inhibiting factors, market structure and the industrial uptake of formal methods
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques
◽
10.1109/wift.1995.515478
◽
2002
◽
Cited By ~ 2
Author(s):
G. Cleland
◽
D. MacKenzie
Keyword(s):
Market Structure
◽
Formal Methods
◽
Inhibiting Factors
Download Full-text
A C++ library for implementing specifications
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques
◽
10.1109/wift.1995.515479
◽
2002
◽
Cited By ~ 2
Author(s):
C. Minkowitz
◽
D. Rann
◽
J.H. Turner
Download Full-text
Automated modular specification and verification of real-time reactive systems
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques
◽
10.1109/wift.1995.515483
◽
2002
◽
Cited By ~ 2
Author(s):
J.S. Ostroff
Keyword(s):
Real Time
◽
Reactive Systems
◽
Specification And Verification
Download Full-text
Formal validation of virtual finite state machines
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques
◽
10.1109/wift.1995.515484
◽
2002
◽
Cited By ~ 10
Author(s):
A.R. Flora-Holmquist
◽
M.G. Staskauskas
Keyword(s):
Finite State Machines
◽
State Machines
◽
Formal Validation
◽
Finite State
Download Full-text
Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques
◽
10.1109/wift.1995.515475
◽
2002
◽
Cited By ~ 32
Author(s):
S.P. Miller
◽
M. Srivas
Keyword(s):
Formal Verification
◽
Formal Methods
◽
Industrial Use
Download Full-text
Automatic verification of industrial designs
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques
◽
10.1109/wift.1995.515481
◽
2002
◽
Cited By ~ 8
Author(s):
V. Hartonas-Garmhausen
◽
T. Kurfess
◽
E.M. Clarke
◽
D. Long
Keyword(s):
Automatic Verification
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close