Ensuring Drivability of Planned Motions Using Formal Methods

doi 10.1109/itsc.2017.8317647
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

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

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

Privacy PolicyRefund Policy