NASA Formal Methods

NASA Formal Methods

Bibliografiset tiedot
Muut tekijät:	Brat
Aineistotyyppi:	Elektroninen E-kirja
Kieli:	English
Julkaistu:	Springer Berlin Heidelberg, 2013
Painos:	1
Aiheet:	Electronic books
Linkit:	Full text available on Springer Off-campus access

Samankaltaisia teoksia

Integrated Formal Methods
Julkaistu: (2013)

NASA and the Long Civil Rights Movement
Tekijä: Waring

NASA-ESA Spacelab Systems and Programs

Lunar robot readied for Nasa contest
Tekijä: The Daily Star
Julkaistu: (2011)

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

Formal Methods and Software Engineering
Julkaistu: (2013)

Formal Methods for Components and Objects
Julkaistu: (2013)

Formal Methods for Components and Objects
Julkaistu: (2013)

Formal Methods for Dynamical Systems
Julkaistu: (2013)

Formal Methods: Foundations and Applications
Julkaistu: (2013)

Software Engineering and Formal Methods
Julkaistu: (2013)

Theories of Programming and Formal Methods
Julkaistu: (2013)

Web Services and Formal Methods
Julkaistu: (2013)

Formal Methods in System Design

3 Bangladeshi Lunabots prepare for Nasa's competition
Tekijä: The Daily Star
Julkaistu: (2012)

Formal Methods for Industrial Critical Systems
Julkaistu: (2013)

Formal Methods for Mining Structured Objects
Tekijä: Garriga
Julkaistu: (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
Tekijä: The Daily Sun
Julkaistu: (2012)

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

Unifying Theories of Programming and Formal Engineering Methods
Julkaistu: (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
Tekijä: The Daily Sun
Julkaistu: (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)