Skip to topic
|
Skip to bottom
Jump:
Agora
Procurar...
Endow
Dotar
About this
/
Sobre isso
Main
Blog
Express
Persona
Ilanet
Ágora
Claims in practice
/
Reivindicações em prática
Social development
/
Desenvolvimento social
Social channels
/
Canais sociais
Social transactions
/
Transações sociais
Social business
/
Negócios sociais
Social enablers
/
Facilitadores sociais
Emergency
/
Emergência
Página sem formatação
(
Page without formatting
)?
Clique (
Click
) em
Visualizar impressão
(
Print Preview
).
Working on page
activity
Trabalhando na página
atividade
Services
/
Serviços
Página inicial
Lista de tópicos
Estatísticas
Experimente
orientação
Searched:
Behaviours *Of *Concurrent *Systems[^A-Za-z0-9]
Results from Agora web
BehaviorsOfConcurrentSystems
GregorioIvanoff
23 May 2019 - 11:55
-
NEW
Keywords: behaviors, designs, reasoning, logic of actions, temporal logic Temporal logic of actions. Available from . access on 23 May 2019. Main.GregorioIvanoff ...
LogicalReasoning
GregorioIvanoff
23 May 2019 - 11:52
- r1.3
Ágora Keywords: of concurrent systems, model-based design, in purpose, in strategy, logic of actions, temporal logic, regulation, information, designs, core logic ...
Number of topics:
2
Direitos de cópia © 1999-2024 pelos autores que contribuem. Todo material dessa plataforma de colaboração é propriedade dos autores que contribuem.
Ideias, solicitações, problemas relacionados a Ilanet?
Dê sua opinião
Copyright © 1999-2024 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Ilanet?
Send feedback