TDG Scholar TDGScholar Committed to research! Version 1.7


| Report | Share
More than 125 records were found in 0.625 seconds
Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic
ENASE, 68-77, 2010
Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets
Nord. J. Comput., 12(3):251-274, 2005
The metamorphosis of lambda-fold K3, 3-designs into lambda-fold 6-cycle systems
Ars Comb., 6465-, 2002
A Formal Service Specification for IIOP based on ISO/IEC 14752
FMOODS, 111-125, 2002
A Family of Defeasible Reasoning Logics and its Implementation
ECAI, 459-463, 2000