Model checking of spacecraft operational designs: a scalability analysis.
Saved in:
| Title: | Model checking of spacecraft operational designs: a scalability analysis. |
|---|---|
| Authors: | Chrszon, Philipp1, philipp.chrszon@dlr.de, Maurer, Paulina1, paulina.maurer@dlr.de, Saleip, George1, george.nasralla@dlr.de, Müller, Sascha1, sa.mueller@dlr.de, Fischer, Philipp M.1, philipp.fischer@dlr.de, Gerndt, Andreas1,2, andreas.gerndt@dlr.de, Felderer, Michael1,3, michael.felderer@dlr.de |
| Source: | Software & Systems Modeling; Dec2025, Vol. 24 Issue 6, p1825-1846, 22p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!
