nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Automated Facts Generation From Raw Data:
|
Zhang, Du |
|
1999 |
25 |
C |
p. 87-96 10 p. |
artikel |
2 |
Automated Verification of Function Block Based Industrial Control Systems
|
Völker, Norbert |
|
1999 |
25 |
C |
p. 97-110 14 p. |
artikel |
3 |
Automatic Concurrency in SequenceL
|
Cooke, Daniel E. |
|
1999 |
25 |
C |
p. 23-34 12 p. |
artikel |
4 |
Dynamic Task Monitoring
|
Drummond, John |
|
1999 |
25 |
C |
p. 35-37 3 p. |
artikel |
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. |
artikel |
6 |
Formalizing and Executing Message Sequence Charts via Timed Rewriting
|
Kosiuczenko, P. |
|
1999 |
25 |
C |
p. 50-61 12 p. |
artikel |
7 |
Formal Methods:
|
Berry, Daniel M. |
|
1999 |
25 |
C |
p. 10-22 13 p. |
artikel |
8 |
Formal Methods in Practice
|
Polak, Wolfgang |
|
1999 |
25 |
C |
p. 62-72 11 p. |
artikel |
9 |
On Methodology of Representing Knowledge in Dynamic Domains
|
Gelfond, Michael |
|
1999 |
25 |
C |
p. 121-132 12 p. |
artikel |
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. |
artikel |
11 |
Preface
|
Luqi, |
|
1999 |
25 |
C |
p. 145-146 2 p. |
artikel |
12 |
Real-Time Systems Development with MASS??
|
Gafni, Vered |
|
1999 |
25 |
C |
p. 73-86 14 p. |
artikel |
13 |
The role of observations in probabilistic open systems
|
Narasimha, Murali |
|
1999 |
25 |
C |
p. 133-144 12 p. |
artikel |
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. |
artikel |