Abstract | ||
---|---|---|
Hybrid systems represent a major part of nowadays’s technology. They are present under many forms and in many safety-critical applications. Hence, the question of guaranteeing such systems’ behaviour is a key issue that must be addressed. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1007/978-3-030-02852-7_14 | Communications in Computer and Information Science |
Field | DocType | Volume |
Computer science,Risk analysis (engineering),Hybrid system | Conference | 929 |
ISSN | Citations | PageRank |
1865-0929 | 2 | 0.38 |
References | Authors | |
7 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Guillaume Dupont | 1 | 2 | 3.76 |
Yamine Aït Ameur | 2 | 287 | 52.61 |
Marc Pantel | 3 | 146 | 33.11 |
Neeraj Kumar Singh | 4 | 113 | 21.89 |