ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Proceedings 1997 High-Assurance Engineering Workshop
Latest Publications
TOTAL DOCUMENTS
37
(FIVE YEARS 0)
H-INDEX
6
(FIVE YEARS 0)
Published By IEEE Comput. Soc
0818679719
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Software Complexity Analysis On Department Of Defense Real-time Systems
Proceedings 1997 High-Assurance Engineering Workshop
◽
10.1109/hase.1997.648051
◽
2005
◽
Author(s):
W.G. Castaneda
Keyword(s):
Real Time
◽
Department Of Defense
◽
Complexity Analysis
◽
Real Time Systems
◽
Software Complexity
◽
Time Systems
Download Full-text
On the development of dependability-evaluation workbench for high-assurance system designers
Proceedings 1997 High-Assurance Engineering Workshop
◽
10.1109/hase.1997.648031
◽
2002
◽
Author(s):
A.T. Tai
◽
K.S. Trivedi
◽
H. Hecht
Keyword(s):
Assurance System
◽
Dependability Evaluation
◽
High Assurance
Download Full-text
Combining testing and correctness verification in software reliability assessment
Proceedings 1997 High-Assurance Engineering Workshop
◽
10.1109/hase.1997.648061
◽
2002
◽
Cited By ~ 1
Author(s):
B. Cukic
Keyword(s):
Software Reliability
◽
Reliability Assessment
Download Full-text
Analytical design of evolutionary control flow components
Proceedings 1997 High-Assurance Engineering Workshop
◽
10.1109/hase.1997.648038
◽
2002
◽
Cited By ~ 2
Author(s):
C.L. Hoover
◽
P.K. Khosla
Keyword(s):
Control Flow
◽
Analytical Design
◽
Flow Components
◽
Evolutionary Control
Download Full-text
A recovery model for extended real-time transactions
Proceedings 1997 High-Assurance Engineering Workshop
◽
10.1109/hase.1997.648050
◽
2002
◽
Author(s):
E. Nett
◽
M. Mock
Keyword(s):
Real Time
◽
Recovery Model
Download Full-text
Hierarchical specification of system behavior
Proceedings 1997 High-Assurance Engineering Workshop
◽
10.1109/hase.1997.648052
◽
2002
◽
Author(s):
R. Sumners
◽
J.A. Abraham
Keyword(s):
System Behavior
Download Full-text
Modeling applications for adaptive QoS-based resource management
Proceedings 1997 High-Assurance Engineering Workshop
◽
10.1109/hase.1997.648064
◽
2002
◽
Cited By ~ 38
Author(s):
S. Chatterjee
◽
J. Sydir
◽
B. Sabata
◽
T. Lawrence
Keyword(s):
Resource Management
◽
Adaptive Qos
Download Full-text
Design and assurance strategy for the NRL pump
Proceedings 1997 High-Assurance Engineering Workshop
◽
10.1109/hase.1997.648040
◽
2002
◽
Cited By ~ 4
Author(s):
M.H. Kang
◽
A.P. Moore
◽
I.S. Moskowitz
Download Full-text
Efficient compositional state-space verification for communicating processes in distributed systems
Proceedings 1997 High-Assurance Engineering Workshop
◽
10.1109/hase.1997.648062
◽
2002
◽
Cited By ~ 2
Author(s):
J.J.P. Tsai
◽
E.Y.T. Juan
Keyword(s):
Distributed Systems
◽
State Space
◽
Communicating Processes
Download Full-text
Analytical modelling and evaluation of phased-mission systems for space applications
Proceedings 1997 High-Assurance Engineering Workshop
◽
10.1109/hase.1997.648043
◽
2002
◽
Cited By ~ 14
Author(s):
A. Bondavalli
◽
I. Mura
◽
M. Nelli
Keyword(s):
Analytical Modelling
◽
Space Applications
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close