Fawzi Daud

Learn More
Symposia Reports presentations, multimedia synchronization protocols, multimedia collaboration , electronic commerce, nomadic services, and so on. Temporal and modal logics have been used to reason about time, action, and adap-tive change and to program and verify networked systems. Several topics were presented and discussed: (1) modal temporal–logic-based(More)
  • 1