Aaron Dutle,
Laura Humphrey,
Laura Titolo
NASA Formal Methods
17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
Paperback EN 2025 9783031937057Levertijd ± 16 werkdagen
Gratis verzonden
Samenvatting
This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.
The 20 full papers and 4 short papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They focus on formal techniques for software and system assurance
for applications in space, aviation, robotics, and other NASA-relevant critical systems.
Specificaties
ISBN13:9783031937057
Taal:EN
Bindwijze:Paperback
Aantal pagina's:442
Uitgever:Springer International Publishing AG
Hoofdrubriek:Hardware, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan