|
| << 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 15 van 23 gevonden artikelen
| Titel: |
Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems 1 1 Supported by DARPA through Rome Laboratories Contract F30602-C-0312, by Office of Naval Research Contract N00014-99-C-0198, and by National Science Foundation Grant CCR-9900334. |
| Auteur: |
Csaba ölveczky, Peter Meseguer, José |
| Verschenen in: |
Electronic notes theoretical computer science |
| Paginering: | Jaargang 36 (2000) nr. C pagina's 22 p. |
| Jaar: |
2000 |
| Inhoud: | |
| Uitgever: |
Elsevier B.V. |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 15 van 23 gevonden artikelen
| << vorige | volgende >> |