Elie Najm
Elie Najm
3 books in the database
Books
Formal techniques for networked and distributed systemsElie Najm
Formal techniques for networked and distributed systems
Elie Najm · 2006
Formal Methods for Open Object-Based Distributed SystemsElie Najm
Formal Methods for Open Object-Based Distributed Systems
Elie Najm · 2016
Formal Techniques for Networked and Distributed Systems - FORTE 2006Elie Najm
Formal Techniques for Networked and Distributed Systems - FORTE 2006
Elie Najm · 2006