B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution
Year: 2019
Type: conference-paper
Institutions: Université Lille Nord de France, Railenium
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Funder: Agence Nationale de la Recherche
Award: RAILENIUM
OpenAlex ID: W2945259451