Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Basri Tugcan Celebi
Verifying the Accuracy of Interlocking Tables for Railway Signalling Systems Using Abstract State Machines
Journal of Modern Transportation
Electronic Engineering
Computer Science Applications
Electrical
Mechanical Engineering
Transportation
Related publications
RailML Application for Description of Railway Interlocking Systems
AUTOBUSY – Technika, Eksploatacja, Systemy Transportowe
Concurrent Abstract State Machines
Acta Informatica
Computer Networks
Software
Information Systems
Communications
State Enumeration With Abstract Descriptions of State Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Transitive Closures of Regular Relations for Verifying Infinite-State Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Using Bisimulation Proof Techniques for the Analysis of Distributed Abstract Machines
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Formalization of Abstract State Transition Systems for SAT
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Analysis of Liquid Ensembles for Enhancing the Performance and Accuracy of Liquid State Machines
Frontiers in Neuroscience
Neuroscience
Verification of Interlocking Systems Using Statistical Model Checking
Modelling and Implementation of Supervisory Control Systems Using State Machines With Outputs
