NASA Formal Methods

NASA Formal Methods

Bibliografske podrobnosti
Drugi avtorji:	Brat
Format:	Elektronski eKnjiga
Jezik:	English
Izdano:	Springer Berlin Heidelberg, 2013
Izdaja:	1
Teme:	Electronic books
Online dostop:	Full text available on Springer Off-campus access

Podobne knjige/članki

Integrated Formal Methods
Izdano: (2013)

NASA and the Long Civil Rights Movement
od: Waring

NASA-ESA Spacelab Systems and Programs

Lunar robot readied for Nasa contest
od: The Daily Star
Izdano: (2011)

NASA/SPIE Conference on Spin-Off Technologies from NASA for Commercial Sensors and Scientific Applications

Formal Methods and Software Engineering
Izdano: (2013)

Formal Methods for Components and Objects
Izdano: (2013)

Formal Methods for Components and Objects
Izdano: (2013)

Formal Methods for Dynamical Systems
Izdano: (2013)

Formal Methods: Foundations and Applications
Izdano: (2013)

Software Engineering and Formal Methods
Izdano: (2013)

Theories of Programming and Formal Methods
Izdano: (2013)

Web Services and Formal Methods
Izdano: (2013)

Formal Methods in System Design

3 Bangladeshi Lunabots prepare for Nasa's competition
od: The Daily Star
Izdano: (2012)

Formal Methods for Industrial Critical Systems
Izdano: (2013)

Formal Methods for Mining Structured Objects
od: Garriga
Izdano: (2013)

Formal Methods in Computer Aided Design

Software Engineering, Annual IEEE/ NASA Goddard Workshop

Adaptive Hardware and Systems (AHS), NASA/ESA Conference on

2010 NASA/ESA Conference on Adaptive Hardware and Systems

Chandrobot 2nd-generation takes flight to Nasa
od: The Daily Sun
Izdano: (2012)

Structured Object-Oriented Formal Language and Method
Izdano: (2013)

Unifying Theories of Programming and Formal Engineering Methods
Izdano: (2013)

Proceedings of the second workshop on Automated formal methods

2013 Formal Methods in Computer-Aided Design

Formal Methods in Computer Aided Design (FMCAD)

Conference proceedings on Formal methods in software development

2011 NASA/ESA Conference on Adaptive Hardware and Systems (AHS)

2012 NASA/ESA Conference on Adaptive Hardware and Systems (AHS)

2015 NASA/ESA Conference on Adaptive Hardware and Systems (AHS)

2018 NASA/ESA Conference on Adaptive Hardware and Systems (AHS)

2019 NASA/ESA Conference on Adaptive Hardware and Systems (AHS)

2014 NASA/ESA Conference on Adaptive Hardware and Systems (AHS)

2017 NASA/ESA Conference on Adaptive Hardware and Systems (AHS)

Robotics team from BRAC attends NASA's mining contest
od: The Daily Sun
Izdano: (2012)

Proceedings of the second workshop on Formal methods in software practice

Proceedings of the third workshop on Formal methods in software practice

2020 Formal Methods in Computer Aided Design (FMCAD)

2018 Formal Methods in Computer Aided Design (FMCAD)