Guest editors' introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems.
Pedro R. D'ArgenioJos C. M. BaetenPublished in: J. Log. Algebraic Methods Program. (2003)
Keyphrases
- special issue
- ai edam
- applied intelligence
- design criteria
- building blocks
- ecml pkdd
- embedded systems
- user interface
- international journal
- special section
- design process
- statistical analysis
- knowledge based systems
- computer systems
- uncertain data
- virtual machine
- design tools
- formal methods
- intelligent systems
- software engineering
- data analysis