|
Search the dblp DataBase
Adnan Sherif:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante
Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets. [Citation Graph (0, 0)][DBLP] ICATPN, 2003, pp:161-180 [Conf]
- Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante
An Integrated Approach to Specification and Validation of Real-Time Systems. [Citation Graph (0, 0)][DBLP] FME, 2001, pp:278-299 [Conf]
- Adnan Sherif, Jifeng He
Towards a Time Model for Circus. [Citation Graph (0, 0)][DBLP] ICFEM, 2002, pp:613-624 [Conf]
- Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions. [Citation Graph (0, 0)][DBLP] ICTAC, 2004, pp:478-493 [Conf]
- Jifeng He, Shengchao Qin, Adnan Sherif
Constructing Property-Oriented Models for Verification. [Citation Graph (0, 0)][DBLP] UTP, 2006, pp:85-100 [Conf]
- Andrew Butterfield, Adnan Sherif, Jim Woodcock
Slotted-Circus. [Citation Graph (0, 0)][DBLP] IFM, 2007, pp:75-97 [Conf]
Search in 0.001secs, Finished in 0.001secs
|