|
|
Jan van Katwijk and Hans Toetenel (1995): Loose Specification of Real Time Systems
| Title: |
Loose Specification of Real Time Systems |
| Author(s): |
Jan van Katwijk and Hans Toetenel |
| Year: |
1995 |
| Booktitle: |
Informatica -- An International Journal of Computing and Informatics |
| Editor(s): |
Marcin Paprzycki and Janusz Zalewski |
| Month: |
feb |
| Volume: |
19 |
| Number: |
1 |
| Pages: |
25 - 42 |
| Publisher: |
The Slovene Society Informatika, Ljubljana, Slovene |
Concepts
|
|
