Formal methods for distributed control systems of future railways
| Autor: | Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2022 |
| Předmět: | |
| Zdroj: | ISoLA'22-11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 243–245, Rhodes, Greece, 22-30/10/2022 Lecture Notes in Computer Science ISBN: 9783031197611 |
| Popis: | The adoption of formal methods in railway signalling has been the subject of specific tracks of past ISOLA conferences since a decade. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|