Sciweavers

9444 search results - page 237 / 1889
» The Language Model LMNtal
Sort
View
FDL
2008
IEEE
16 years 1 months ago
Application - Platform Performance Modeling and Evaluation
Jari Kreku, Mika Hoppari, Tuomo Kestilä, Yang...
ECOOP
2003
Springer
15 years 12 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 10 months ago
Symbolic Model Checking for Probabilistic Processes
Christel Baier, Edmund M. Clarke, Vassili Hartonas...