|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 10 van 14 gevonden artikelen
| Titel: |
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. |
| Auteur: |
Kwak, Hee-Hwan Lee, Insup Sokolsky, Oleg |
| Verschenen in: |
Electronic notes theoretical computer science |
| Paginering: | Jaargang 25 (1999) nr. C pagina's 12 p. |
| Jaar: |
1999 |
| Inhoud: | |
| Uitgever: |
Published by Elsevier B.V. |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 10 van 14 gevonden artikelen
| << vorige | volgende >> |