Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
REFINEMENT OF FINITE STATE MACHINES WITH COMPLEMENTARY MODEL CHECKINGMermet, JeanUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
|
2 |
Material Type: Livro
|
UML-B Specification for Proven Embedded Systems DesignMermet, JeanNew York, NY: Springer 1899Texto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
THE ADAPTIVE CRUISE CONTROLLER CASE STUDYMermet, JeanUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
|
4 |
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 |
|
5 |
Material Type: Capítulo de Livro
|
ADAPTIVE CRUISE CONTROL CASE STUDY DESIGN EXPERIMENTMermet, JeanUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
EMBEDDED SYSTEM DESIGN USING THE PUSSEE METHODMermet, JeanUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
|
7 |
Material Type: Capítulo de Livro
|
BHDLMermet, JeanUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
|
8 |
Material Type: Capítulo de Livro
|
AN INTRODUCTION TO FORMAL METHODSMermet, JeanUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
RESULTS OF THE MOBILE DESIGN SYSTEM EXPERIMENTMermet, JeanUML-B Specification for Proven Embedded Systems Design, 1899United States: SpringerTexto completo disponível |
|
10 |
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 |