Loading…
Loading…
Supporting Brainstorming Activities with Bots in Software Engineering Education
Farah, Juan Carlos, La Scala, Jeremy, Ingram, Sandy, Gillet, Denis
Published in 2025 IEEE/ACM International Workshop on Bots in Software Engineering (BotSE) (27.04.2025)
Published in 2025 IEEE/ACM International Workshop on Bots in Software Engineering (BotSE) (27.04.2025)
Get full text
Conference Proceeding
Loading…
Loading…
Program Model Checking Using Design-for-Verification: NASA Flight Software Case Study
Markosian, L.Z., Mansouri-Samani, M., Mehlitz, P.C., Pressburger, T.
Published in 2007 IEEE Aerospace Conference (01.03.2007)
Published in 2007 IEEE Aerospace Conference (01.03.2007)
Get full text
Conference Proceeding
Loading…
Loading…