Complex Systems Design
Springer International Publishing
| Chapter title |
A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics
|
|---|---|
| Chapter number | 16 |
| Book title |
Complex Systems Design & Management
|
| Published by |
Springer International Publishing, February 2016
|
| DOI | 10.1007/978-3-319-11617-4_16 |
| Book ISBNs |
978-3-31-911616-7, 978-3-31-911617-4
|
| Authors |
Blazo Nastov, Vincent Chapurlat, Christophe Dony, François Pfister |
| Editors |
Frédéric Boulanger, Daniel Krob, Gérard Morel, Jean-Claude Roussel |
| Country | Count | As % |
|---|---|---|
| Unknown | 1 | 100% |
| Type | Count | As % |
|---|---|---|
| Members of the public | 1 | 100% |
| Country | Count | As % |
|---|---|---|
| Unknown | 11 | 100% |
| Readers by professional status | Count | As % |
|---|---|---|
| Student > Ph. D. Student | 4 | 36% |
| Researcher | 1 | 9% |
| Student > Master | 1 | 9% |
| Professor | 1 | 9% |
| Unknown | 4 | 36% |
| Readers by discipline | Count | As % |
|---|---|---|
| Engineering | 4 | 36% |
| Computer Science | 3 | 27% |
| Unknown | 4 | 36% |