Broda, Krysia - Department of Computing, Imperial College, London

Advanced Search

Browse by Discipline

Scientific Societies

E-print Network

FAQ • HELP • SITE MAP • CONTACT US

Powered by Explorit

Advanced Search

Broda, Krysia - Department of Computing, Imperial College, London

Compiled Only Knowing Bjorn Bjurling, Krysia Broda
Compiled Labelled Deductive Systems for Access Control
Determining and Verifying Good Policies for Cloned Teleo-Reactive Agents
Mapping UML Models incorporating OCL Constraints into Object-Z
SIMPLIFICATION OF TELEO-REACTIVE SEQUENCES Seyed R. Mousavi, Krysia Broda
Abstract Policy Evaluation for Reactive Agents Krysia Broda and Christopher John Hogger

Website Policies/Important Links