Stepwise development and model checking of adistributed interlocking system using RAISE
Work
Year: 2020
Type: article
Source: Formal Aspects of Computing
Authors Signe Geisler, Anne E. Haxthausen
Institution Technical University of Denmark
Cites: 35
Cited by: 11
Related to: 10
FWCI: 1.138
Citation percentile (by year/subfield): 74.66
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Sustainable cities and communities
Open Access status: bronze