A Scientist Steadily Advancing Along the Tracks
- 6 February 2026
- book chapter
- Published by Springer Nature
- p. 3-12
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling Systems2016
- Validation of Railway Interlocking Systems by Formal Verification, A Case Study2014
- Ugo Montanari and FriendsLecture Notes in Computer Science, 2008
- Product Line Use Cases: Scenario-Based Specification and Testing of Requirements2006
- A Symbolic Model Checker for ACTLLecture Notes in Computer Science, 1999
- Verifying hardware components with JACKLecture Notes in Computer Science, 1995
- An action based framework for verifying logical and behavioural properties of concurrent systems1992
- The SMoLCS approach to the formal semantics of programming languages1987
- Using High Level Languages for Local Computer Network Communication: A Case Study in Ada*Software: Practice and Experience, 1986
- A Calculus of Communicating Systems1980