Searching for authors named Nadia Tawbi – sorted by Relevance.
2 documents found, showing 1 through 2.
-
Specification and Verification of the PowerScale Bus Arbitration Protocol: An Industrial Experiment with LOTOS
- … Experiment with LOTOS Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian N…
- Cited by 12 (0 self) – Add To MetaCart
-
E-bunny: A dynamic compiler for embedded java virtual machines
- … Machines Mourad Debbabi † Abdelouahed Gherbi † Lamia Ketari † Chamseddine Talhi † Nadia Tawbi ‡ Hamdi…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 2.
