CfPBoK by Vadim Zaytsev

Bilal Kanso

SLE 2012 — SLE 2012
⭐

SLE 2012 SI — SLE 2012 SI
⭐

Summary

2 papers in 2 bundles
Top 3 popular topics:
- T5D: Formal Methods (2 times)
- T5C: Testing (2 times)
- T4A: Workbenches (2 times)
Top coauthor:
- Safouan Taha (2 times)
Made 2 contributions (see below)

List of contributions

(SLE 2012) Coauthored Temporal Constraint Support for OCL (Bilal Kanso, Safouan Taha)
(SLE 2012 SI) Coauthored Specification of temporal properties with OCL (Bilal Kanso, Safouan Taha)

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.

HTML 5

CSS 3