Eintrag weiter verarbeiten
Formal Modeling and Analysis of AADL Threads in Real Time Maude
Gespeichert in:
Zeitschriftentitel: | Journal of Software Engineering and Applications |
---|---|
Personen und Körperschaften: | , , , |
In: | Journal of Software Engineering and Applications, 5, 2012, 12, S. 187-192 |
Format: | E-Article |
Sprache: | Unbestimmt |
veröffentlicht: |
Scientific Research Publishing, Inc.
|
Schlagwörter: |