701 followers
102 followers
Next in #fase32: A Modeling Concept for Formal Verification of OS-Based Compositional Software Leandro Batista Ribeiro, Florian Lorber, @UlrikNyman , @kglaau and Marcel Baunach paper link #OpenAccess: https://t.co/xfKej5OMUJ #etaps23 #etaps2023