Login / Signup
Darryl D. Dieckman
ORCID
Publication Activity (10 Years)
Years Active: 1999-2000
Publications (10 Years): 0
</>
Publications
</>
Murali Rangarajan
,
Iqbal Mutabanna
,
Darryl D. Dieckman
,
Badar Farooqi
,
Amitvikram Rajkhowa
,
Sarjoun Doumit
,
Arun Venkataraman
,
Cindy Kong
,
Roshan Kamath
,
Perry Alexander
,
Nael B. Abu-Ghazaleh
On the Design of ORBIT.
ECBS
(2000)
Cindy Kong
,
Perry Alexander
,
Darryl D. Dieckman
Formal modeling of active network nodes using PVS.
FMSP
(2000)
Nael B. Abu-Ghazaleh
,
Murali Rangarajan
,
Darryl D. Dieckman
,
Perry Alexander
,
Philip A. Wilsey
ORBIT: An Environment for Component-Based Heterogeneous Design and Analysis.
ECBS
(1999)