Abbrevation
FORTE
City
Houston
Country
United States
Deadline Paper
Start Date
End Date
Abstract
FDT–based system and protocol engineering. Semantical foundations. Extensions of FDT′s. Formal approaches to concurrent/distributed Object–Oriented systems. Real–time and probability aspects. Performance modeling and analysis. Quality of service mod <b>Keywords:</b>