Sciweavers

4166 search results - page 32 / 834
» Automating the constraining process
Sort
View
SDL
1997
134views Hardware» more  SDL 1997»
13 years 9 months ago
Automating the process of test derivation from SDL specifications
Gregor von Bochmann, Alexandre Petrenko, O. Bellal...
INFORMS
2006
49views more  INFORMS 2006»
13 years 8 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»
13 years 8 months ago
Evaluation of Technologies for Business Process Automation
Maja Pusnik, Matjaz B. Juric, Ivan Rozman