Searching...
Advanced Search
Publication
1994
Issue No. 2 - February
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
RSS feed for this Publication
Bibliographic References
ASCII Text
BibTex
RefWorks Procite/RefMan/EndNote
IEEE Transactions on Software Engineering
February 1994 (vol. 20 no. 2)
ISSN: 0098-5589
Table of Contents
PAPERS
On the Efficient Engineering of Ambitious Program Analysis
(Abstract)
Jong-Deok Choi
R. Cytron
J. Ferrante
pp. 105-114
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A New Structural Induction Theorem for Rings of Temporal Petri Nets
(Abstract)
Jianan Li
I. Suzuki
M. Yamashita
pp. 115-126
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
(Abstract)
M. Felder
D. Mandrioli
A. Morzenti
pp. 127-141
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing
(Abstract)
P.E. Ammann
S.S. Brilliant
J.C. Knight
pp. 142-148
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp-Method
(Abstract)
Gang Luo
G. von Bochmann
A. Petrenko
pp. 149-162
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
Print and Online Advertising Opportunities
