Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Bastian Schurmann

Ensuring Drivability of Planned Motions Using Formal Methods

2017English

Related publications

Security Architectures Using Formal Methods

IEEE Journal on Selected Areas in Communications
Computer NetworksElectronic EngineeringElectricalCommunications
1993English

Timing Diagrams Requirements Modeling Using Event-B Formal Methods

2010English

Ten Commandments of Formal Methods

Computer
Computer Science
1995English

Using Simulation Games in Teaching Formal Methods for Software Development

Advances in Higher Education and Professional Development
English

Software Engineering and Formal Methods

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Critical Embedded Systems Development Using Formal Methods and Statistical Reliability Metrics

Advances in Science, Technology and Engineering Systems
EngineeringAstronomyPhysicsManagement of TechnologyInnovation
2019English

Realising the Benefits of Formal Methods

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Formal Methods and Human Communication

1996English

Formal Methods: Foundations and Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy