A Modeling Concept for Formal Verification of OS-Based Compositional Software

  • Leandro Batista Ribeiro (Speaker)

Activity: Talk or presentation › Talk at conference or symposium › Science to science

PeriodApr 2023
Event title26th International Conference on Fundamental Approaches to Software Engineering: FASE 2023
Event typeConference
LocationParis, FranceShow on map
Degree of RecognitionInternational

Fields of Expertise

  • Information, Communication & Computing

Related content