|
| << vorige |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 34 van 34 gevonden artikelen
| Titel: |
Verification of Software Requirements on Program Systems Represented by Attribute Transition Systems |
| Auteur: |
Baranov, S. N. Volkov, V. A. Godlevskii, A. B. Kapitonova, Yu. V. Letichevsky, A. A. |
| Verschenen in: |
Cybernetics and systems analysis |
| Paginering: | Jaargang 39 (2003) nr. 6 pagina's 783-789 |
| Jaar: |
2003 |
| Inhoud: | |
| Uitgever: |
Kluwer Academic Publishers-Plenum Publishers, New York |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 34 van 34 gevonden artikelen
| << vorige |