Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Frank Koster
Ensuring Drivability of Planned Motions Using Formal Methods
Negotiation of Cooperative Maneuvers for Automated Vehicles: Experimental Results
Related publications
Security Architectures Using Formal Methods
IEEE Journal on Selected Areas in Communications
Computer Networks
Electronic Engineering
Electrical
Communications
Timing Diagrams Requirements Modeling Using Event-B Formal Methods
Ten Commandments of Formal Methods
Computer
Computer Science
Using Simulation Games in Teaching Formal Methods for Software Development
Advances in Higher Education and Professional Development
Software Engineering and Formal Methods
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Critical Embedded Systems Development Using Formal Methods and Statistical Reliability Metrics
Advances in Science, Technology and Engineering Systems
Engineering
Astronomy
Physics
Management of Technology
Innovation
Realising the Benefits of Formal Methods
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Methods and Human Communication
Formal Methods: Foundations and Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
