Multi-agent systems: Modeling andVerification using Hybrid Automata
Year of publication: |
2009
|
---|---|
Authors: | Mohammed, Ammar ; Furbach, Ulrich |
Institutions: | Universität <Koblenz |
Subject: | Wirtschaftsinformatik | business informatics | Physikalische Theorie | physical environment | Verifikation | verification | Geschwindigkeit | space |
Extent: | 603136 bytes 24 p. application/pdf |
---|---|
Series: | |
Type of publication: | Book / Working Paper |
Language: | English |
ISSN: | 1864-0850 |
Classification: | Applications ; Industrial management ; Individual Working Papers, Preprints ; No country specification |
Source: | USB Cologne (business full texts) |
-
Röglinger, Maximilian, (2009)
-
COST PADDING IN REGULATED MONOPOLIES
Bougheas, Spiros, (2001)
-
Consistent Choice and Falsifiability of the MaximizationHypothesis
Dasgupta, Indraneel,
- More ...
-
Process Commodities:Entwicklung eines Reifegradmodells alsBasis für Outsourcingentscheidungen
Garbe, Gwendolin, (2008)
-
Anforderungsanalyse fürRisk-Management-Informationssysteme(RMIS)
Meletiadou, Anastasia,
-
Cloud Computing forStandard ERP Systems:Reference Framework and Research Agenda
Schubert, Petra, (2011)
- More ...