Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
TOWARDS A CONCEPTUAL FRAMEWORK FOR UML TO HARDWARE DESCRIPTION LANGUAGE MAPPINGSMermet, JeanUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
2 |
Material Type: Capítulo de Livro
|
![]() |
FORMAL MODELLING OF ELECTRONIC CIRCUITS USING EVENT-BMermet, JeanUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
3 |
Material Type: Capítulo de Livro
|
![]() |
Annex A1 EVALUATION CRITERIA FOR EMBEDDED SYSTEM DESIGN METHODSMermet, JeanUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
4 |
Material Type: Capítulo de Livro
|
![]() |
BHDLMermet, JeanUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
5 |
Material Type: Capítulo de Livro
|
![]() |
THE ECHO CANCELLATION UNIT CASE STUDYMermet, JeanUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
6 |
Material Type: Livro
|
![]() |
UML-B Specification for Proven Embedded Systems DesignMermet, JeanNew York, NY: Springer 1899Texto completo disponível |
7 |
Material Type: Capítulo de Livro
|
![]() |
THE UML-B PROFILE FOR FORMAL SYSTEMS MODELLING IN UMLMermet, JeanUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
8 |
Material Type: Capítulo de Livro
|
![]() |
SYSTEM LEVEL MODELLING AND REFINEMENT WITH EVENTBMermet, JeanUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
9 |
Material Type: Capítulo de Livro
|
![]() |
THE PUSSEE METHOD IN PRACTICEMermet, JeanUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
10 |
Material Type: Capítulo de Livro
|
![]() |
UML-B SPECIFICATION FOR PROVEN EMBEDDED SYSTEMS DESIGNMermet, JeanUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |