| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Automated Facts Generation From Raw Data:
|
Zhang, Du
|
|
1999
|
25 |
C |
p. 87-96
10 p.
|
article
|
| 2 |
Automated Verification of Function Block Based Industrial Control Systems
|
Völker, Norbert
|
|
1999
|
25 |
C |
p. 97-110
14 p.
|
article
|
| 3 |
Automatic Concurrency in SequenceL
|
Cooke, Daniel E.
|
|
1999
|
25 |
C |
p. 23-34
12 p.
|
article
|
| 4 |
Dynamic Task Monitoring
|
Drummond, John
|
|
1999
|
25 |
C |
p. 35-37
3 p.
|
article
|
| 5 |
Engineering Automation for Computer Based Systems ☆ ☆ This research was supported by ARO(MIPR8GNPSAR042), NSF (CCR-9813820), ONR(N0001499WR20019), SPAWAR(N6600198WR00438).
|
Luqi,
|
|
1999
|
25 |
C |
p. 1-9
9 p.
|
article
|
| 6 |
Formalizing and Executing Message Sequence Charts via Timed Rewriting
|
Kosiuczenko, P.
|
|
1999
|
25 |
C |
p. 50-61
12 p.
|
article
|
| 7 |
Formal Methods:
|
Berry, Daniel M.
|
|
1999
|
25 |
C |
p. 10-22
13 p.
|
article
|
| 8 |
Formal Methods in Practice
|
Polak, Wolfgang
|
|
1999
|
25 |
C |
p. 62-72
11 p.
|
article
|
| 9 |
On Methodology of Representing Knowledge in Dynamic Domains
|
Gelfond, Michael
|
|
1999
|
25 |
C |
p. 121-132
12 p.
|
article
|
| 10 |
Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP ☆ ☆ This research was supported in part by ARO DAAG55-98-1-0393, ARO DAAG55-98-1-0466, AFOSR F49620-96-1-0204, NSF CCR-9619910, and ONR N00014-97-1-0505.
|
Kwak, Hee-Hwan
|
|
1999
|
25 |
C |
p. 38-49
12 p.
|
article
|
| 11 |
Preface
|
Luqi,
|
|
1999
|
25 |
C |
p. 145-146
2 p.
|
article
|
| 12 |
Real-Time Systems Development with MASS??
|
Gafni, Vered
|
|
1999
|
25 |
C |
p. 73-86
14 p.
|
article
|
| 13 |
The role of observations in probabilistic open systems
|
Narasimha, Murali
|
|
1999
|
25 |
C |
p. 133-144
12 p.
|
article
|
| 14 |
The Story of Re-engineering 350,000 Lines of FORTRAN Code ☆ ☆ This research was supported in part by the U.S. Army Research Office under grant number 35037-MA and in part by a grant from the U. S. Army Training and Doctrine Analysis Command.
|
Shing, M.
|
|
1999
|
25 |
C |
p. 111-120
10 p.
|
article
|
Journal description