NASA formal methods 16th international symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, proceedings

NASA formal methods 16th international symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: NASA Formal Methods Symposium Moffett Field, Calif.; Online (VerfasserIn)
Weitere Verfasser: Benz, Nathaniel (HerausgeberIn), Gopinath, Divya (HerausgeberIn), Shi, Nija (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cham, Switzerland Springer [2024]
Schriftenreihe:Lecture notes in computer science 14627
Schlagworte:
Software Engineering
Theory of Computation
Computer Engineering and Networks
Artificial Intelligence
Computer Modelling
Software engineering
Computer science
Computer engineering
Computer networks 
Artificial intelligence
Computer simulation
Automatisches Beweisverfahren
Softwareentwicklung
Systementwicklung
Testen
Computersimulation
Künstliche Intelligenz
Verifikation
Formale Methode
Konferenzschrift > 2024 > Moffett Field, Calif.; Online
Online-Zugang:DE-522
DE-634
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-824
DE-29
DE-739
URL des Erstveröffentlichers
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:1 Online-Ressource (xxiii, 438 Seiten) 89 Illustrationen, 61 in Farbe
ISBN:9783031606984
ISSN:1611-3349
DOI:10.1007/978-3-031-60698-4

Ähnliche Einträge