Model checking multi-level and recursive nets (2017)
- Authors:
- Autor USP: SILVA, FLAVIO SOARES CORREA DA - IME
- Unidade: IME
- DOI: 10.1007/s10270-015-0509-6
- Subjects: PROTOCOLOS DE COMUNICAÇÃO; REDES DE PETRI; ENGENHARIA DE SOFTWARE
- Keywords: multi-level modeling; model checking; SPIN
- Language: Inglês
- Imprenta:
- Publisher place: Heidelberg
- Date published: 2017
- Source:
- Título do periódico: Software and Systems Modeling
- ISSN: 1619-1374
- Volume/Número/Paginação/Ano: v. 16, n. 4, p. 1117–1144, 2017
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
FERNÁNDEZ VENERO, Mirtha Lina e SILVA, Flávio Soares Corrêa da. Model checking multi-level and recursive nets. Software and Systems Modeling, v. 16, n. 4, p. 1117–1144, 2017Tradução . . Disponível em: https://doi.org/10.1007/s10270-015-0509-6. Acesso em: 18 abr. 2024. -
APA
Fernández Venero, M. L., & Silva, F. S. C. da. (2017). Model checking multi-level and recursive nets. Software and Systems Modeling, 16( 4), 1117–1144. doi:10.1007/s10270-015-0509-6 -
NLM
Fernández Venero ML, Silva FSC da. Model checking multi-level and recursive nets [Internet]. Software and Systems Modeling. 2017 ; 16( 4): 1117–1144.[citado 2024 abr. 18 ] Available from: https://doi.org/10.1007/s10270-015-0509-6 -
Vancouver
Fernández Venero ML, Silva FSC da. Model checking multi-level and recursive nets [Internet]. Software and Systems Modeling. 2017 ; 16( 4): 1117–1144.[citado 2024 abr. 18 ] Available from: https://doi.org/10.1007/s10270-015-0509-6 - Information flow and knowledge sharing
- LS2C - a platform for norm controlled social computers
- Entertainment Computing – ICEC 2013: 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings
- Assessment of fun from the analysis of facial expressions to support video game design
- An ontology for portability and interoperability digital documents: an approach in document engineering using ontologies
- Coupled MMASS: a formal model for non-deterministic multi-agent simulations
- Aspectos psicométricos do Inventário Beck de Depressão-II e do Beck Atenção Primária em usuários do Facebook
- Affective agents for empathic interactions
- Jam session - knowledge-based interaction protocols for intelligent interactive environments
- Soft institutions - a platform to design and implement socio-technical systems
Informações sobre o DOI: 10.1007/s10270-015-0509-6 (Fonte: oaDOI API)
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 | 2737184.pdf | ||
 | 2737184.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
