Sciweavers

9455 search results - page 189 / 1891
» The Modelling Language Zinc
Sort
View
78
Voted
FDL
2008
IEEE
15 years 8 months ago
Application - Platform Performance Modeling and Evaluation
Jari Kreku, Mika Hoppari, Tuomo Kestilä, Yang...
65
Voted
ECOOP
2003
Springer
15 years 7 months ago
Object-Oriented Reading Techniques for Inspection of UML Models - An Industrial Experiment
Reidar Conradi, Parastoo Mohagheghi, Tayyaba Arif,...
ICALP
1997
Springer
15 years 6 months ago
Symbolic Model Checking for Probabilistic Processes
Christel Baier, Edmund M. Clarke, Vassili Hartonas...