Formal modeling and analysis of railway operations with active objects
Year: 2018
Type: article
Source: Science of Computer Programming
Institution: Technische Universität Darmstadt
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W2835803777