Login / Signup
Kamran Hussain
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Deterministic Finite Automaton
Transition Systems
Automated Verification
Model Checking
Top Venues
Int. J. Comput. Appl. Technol.
</>
Publications
</>
Sa'ed Abed
,
Kamran Hussain
,
Otmane Aït Mohamed
Abstract property language for MDG model checking methodology.
Int. J. Comput. Appl. Technol.
44 (1) (2012)