Sciweavers

4166 search results - page 32 / 834
» Automating the constraining process
Sort
View
SDL
1997
134views Hardware» more  SDL 1997»
14 years 11 months ago
Automating the process of test derivation from SDL specifications
Gregor von Bochmann, Alexandre Petrenko, O. Bellal...
INFORMS
2006
49views more  INFORMS 2006»
14 years 9 months ago
An Automated Multiresolution Procedure for Modeling Complex Arrival Processes
Michael E. Kuhl, Sachin G. Sumant, James R. Wilson
INFORMATICASI
2002
70views more  INFORMATICASI 2002»
14 years 9 months ago
Evaluation of Technologies for Business Process Automation
Maja Pusnik, Matjaz B. Juric, Ivan Rozman