Bianca Polak und Frances - Info zur Person

(1 - 7 von 7

)

Formal Methods for Open Object-Based Distributed Systems: 6th IFIP ...books.google.co.in › books

books.google.co.in

Frances Brazier, Frank Cornelissen, Rune Gustavsson, Catholijn M. Jonker, Olle Lindeberg, Bianca Polak, and Jan Treur. Compositional Design and Verification ...

Verhaltensgarantien in Selbst-Organisierenden Systemenbooks.google.co.in › books

books.google.co.in

Frances M. T. Brazier, Frank Cornelissen, Rune Gustavsson, Catholijn M. Jonker, Olle Lindeberg, Bianca Polak, and Jan Treur. Compositional Verification of a ...

Agent-Based Defeasible Control in Dynamic Environments - Google Books

books.google.ca

This could be done by formalising the proofs of a verification process in a suitable proof system. Frances M.T. Brazier, Frank Cornelissen, Catholijn M. Jonker, Bianca Polak and Jan Treur Vrije Universiteit Amsterdam, The Netherlands. Rune Gustavsson and Olle Lindeberg University of Karlskrona/Ronneby (HK/R), Sweden.

Olle Lindeberg - dblpdblp.org › Persons

dblp.org

· Frances M. T. Brazier, Frank Cornelissen, Rune Gustavsson, Catholijn M. Jonker, Olle Lindeberg, Bianca Polak, Jan Treur :

Compositional Verification of a Multi-Agent System for One-to-Many ...link.springer.com › chapter

link.springer.com

Frances M. T. Brazier, Frank Cornelissen, Catholijn M. Jonker, Bianca Polak & Jan Treur. University of Karlskrona/Ronneby (HK/R), Sweden.

CiteSeerX — A Multi-Agent System Performing One-to-Many Negotiation...

citeseerx.ist.psu.edu

BibTeX. @MISC{Brazier00amulti-agent, author = {Frances Brazier and Frank Cornelissen and Rune Gustavsson and Catholijn M. Jonker and Olle Lindeberg and Bianca Polak and Jan Treur}, title = {A Multi-Agent System Performing One-to -Many Negotiation for Load Balancing of Electricity Use}, year = {2000} } ...

Alle Infos zum Namen "Bianca Polak"

Verwandte Suchanfragen zu Bianca Polak

Rune Gustavsson
Jörg Pollak

Person "Polak" (3)
Vorname "Bianca" (22307)
Name "Polak" (587)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z