Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Signe Geisler
Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Verification of Interlocking Systems Using Statistical Model Checking
Model Checking RAISE Applicative Specifications
Improving Pushdown System Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Using Net Unfoldings
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Checking Strong Specifications Using an Extensible Software Model Checking Framework
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Methods to Raise Skill Levels Using a New OJT System
Seimitsu Kogaku Kaishi/Journal of the Japan Society for Precision Engineering
Mechanical Engineering
Model-Checking Software Using Precise Abstractions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Marionette: A System for Parallel Distributed Programming Using a Master/Slave Model
Formal Verification of a Group Membership Protocol Using Model Checking
