|
| << 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 2 van 4 gevonden artikelen
| Titel: |
Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language |
| Auteur: |
Voros, Nikolaos S. Snook, Colin F. Hallerstede, Stefan Masselos, Konstantinos |
| Verschenen in: |
Design automation for embedded systems |
| Paginering: | Jaargang 9 (2005) nr. 2 pagina's 67-99 |
| Jaar: |
2005 |
| Inhoud: | |
| Uitgever: |
Kluwer Academic Publishers, Boston |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 2 van 4 gevonden artikelen
| << vorige | volgende >> |