Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Formal method : industrial use from model to the code / / editor, Jean-Louis Boulanger
| Formal method : industrial use from model to the code / / editor, Jean-Louis Boulanger |
| Pubbl/distr/stampa | London : , : ISTE |
| Descrizione fisica | 1 online resource (376 pages) |
| Disciplina | 385.0285/53 |
| Altri autori (Persone) | BoulangerJean-Louis |
| Collana | Industrial implementation of formal methods series |
| Soggetto topico |
Railroads - Management - Data processing
Formal methods (Computer science) Application software - Development |
| ISBN |
1-118-61437-2
1-118-56189-9 1-299-31507-0 1-118-61438-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From classic languages to formal methods -- Formal method in railway, the first complex application : SAET-METEOR -- B method and B tools -- Model-based design using Simulink : modeling, code generation, verification, and validation -- Proof of global properties with the aid of the Simulink Design verifier proof tool -- SCADE : implementation and applications -- GATel : a V & V platform for scade models -- Control build. |
| Record Nr. | UNINA-9910139052403321 |
| London : , : ISTE | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal method : industrial use from model to the code / / editor, Jean-Louis Boulanger
| Formal method : industrial use from model to the code / / editor, Jean-Louis Boulanger |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | London : , : ISTE |
| Descrizione fisica | 1 online resource (376 pages) |
| Disciplina | 385.0285/53 |
| Altri autori (Persone) | BoulangerJean-Louis |
| Collana | Industrial implementation of formal methods series |
| Soggetto topico |
Railroads - Management - Data processing
Formal methods (Computer science) Application software - Development |
| ISBN |
1-118-61437-2
1-118-56189-9 1-299-31507-0 1-118-61438-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From classic languages to formal methods -- Formal method in railway, the first complex application : SAET-METEOR -- B method and B tools -- Model-based design using Simulink : modeling, code generation, verification, and validation -- Proof of global properties with the aid of the Simulink Design verifier proof tool -- SCADE : implementation and applications -- GATel : a V & V platform for scade models -- Control build. |
| Record Nr. | UNINA-9910820783003321 |
| London : , : ISTE | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||