Sciweavers

7623 search results - page 98 / 1525
» Constructive Volume Modeling
Sort
View
96
Voted
STTT
2008
83views more  STTT 2008»
15 years 28 days ago
Improving state class constructions for CTL* model checking of time Petri nets
Rachid Hadjidj, Hanifa Boucheneb
ICMT
2010
Springer
15 years 12 days ago
A Constructive Approach to Testing Model Transformations
Camillo Fiorentini, Alberto Momigliano, Mario Orna...
IJIIP
2010
96views more  IJIIP 2010»
14 years 11 months ago
Construction of BPMN-based Business Process Model Base
Yanjie Lu, Hongming Cai, Lihong Jiang