Title
Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist.
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 Dupont123.76
Yamine Aït Ameur228752.61
Marc Pantel314633.11
Neeraj Kumar Singh411321.89