A Formal Framework for ASTRAL Intralevel Proof Obligations.

Alberto Coen-Porisini Richard A. Kemmerer Dino Mandrioli

Published in: IEEE Trans. Software Eng. (1994)

Keyphrases

probabilistic model
conceptual framework
main contribution
formal model
framework enables
database
web services
bayesian networks
artificial neural networks
theoretical framework
formal methods