CONSTRUCTION OF A GENERALIZED MODEL FOR DETERMINATION THE BROKER BEHAVIOUR FOR CAPITAL MARKET

Laura Florentina Cacovean (), Marian Pompiliu Cristescu (), Corina Ioana Cristescu () and Ciprian Cucu ()
Additional contact information
Laura Florentina Cacovean: “Lucian Blaga“ University, Sibiu, Romania
Corina Ioana Cristescu: C.S.I.E. Faculty – A.S.E. Bucharest, Bucharest
Ciprian Cucu: “1 Decembrie 1918“ University, Alba Iulia, Romania

No 17, Proceedings of the 4th International Conference on Knowledge Management: Projects, Systems and Technologies,Bucharest, November 6-7 2009 from Faculty of Economic Cybernetics, Statistics and Informatics, Academy of Economic Studies and National Defence University "Carol I", DEPARTMENT FOR MANAGEMENT OF THE DEFENCE RESOURCES AND EDUCATION

Abstract: The model checkers are tools which can be used to verify a given system satisfies a given temporal logic formula. The model is a directed graph where the nodes represent the states of the system and the edges represents the state transitions. The nodes and the edges can be labelled with atomic propositions what describe the states and the transitions of the system. In order to be verified by a given model, a property is written as a temporal logic formula across the labelled propositions from the model. A model checker is an algorithm that determines the states of a model that satisfy a temporal logic formula.

JEL-codes: L81 (search for similar items in EconPapers)
Pages: 3 pages
Date: 2009-08
References: Add references at CitEc
Citations:

Published in the Proceedings of the 4th International Conference on Knowledge Management: Projects, Systems and Technologies,Bu, November 6-7 2009, pages 83-85

Downloads: (external link)
https://ccasp.ase.ro/KM2009/17.pdf (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:rom:confkm:17

Access Statistics for this paper

More papers in Proceedings of the 4th International Conference on Knowledge Management: Projects, Systems and Technologies,Bucharest, November 6-7 2009 from Faculty of Economic Cybernetics, Statistics and Informatics, Academy of Economic Studies and National Defence University "Carol I", DEPARTMENT FOR MANAGEMENT OF THE DEFENCE RESOURCES AND EDUCATION Contact information at EDIRC.
Bibliographic data for series maintained by Mogos Radu ().