Paulo Costa

Paulo Costa

Professor, George Mason University
Zweryfikowany adres z gmu.edu
Cytowane przez 3350
Uncertainty Reasoning Probabilistic Semantics Cyber Security Decision Theory Multi-Sensor
Kangfeng Ye

Kangfeng Ye

Research Associate in Computer Science, University of York
Zweryfikowany adres z york.ac.uk
Cytowane przez 123
probabilistic semantics probabilistic verification probabilistic models theorem proving model checking