Searching for "Curricula Modeling and Checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Curricula Modeling and Checking
by Matteo Baldoni, Cristina Baroglio, Elisa Marengo — 2007 — In Proc. of AI*IA 2007: Advances in Artificial Intelligence, volume 4733 of LNAI
…Curricula Modeling and Checking Matteo Baldoni, Cristina Baroglio, and Elisa Marengo Dipartimento…
Cited by 4 (4 self) – Add To MetaCart

E.: Curricula model checking: declarative representation and verification of properties
by Matteo Baldoni, Elisa Marengo — 2007 — In: Proc. of EC-TEL’07. LNCS
…: formal model for curricula description, model checking, verification of properties, competence gaps. 1…
Cited by 6 (5 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB