Buscar
Mostrando ítems 1-9 de 9
A REACHABILITY TREE FOR STATECHARTS AND ANALYSIS OF SOME PROPERTIES
(Butterworth-heinemann Ltd, 1994-10-01)
Statecharts are an extension to finite state machines with capability for expressing hierarchical decomposition and parallelism. They also have a mechanism called history, to remember the last visit to a superstate. An ...
A REACHABILITY TREE FOR STATECHARTS AND ANALYSIS OF SOME PROPERTIES
(Butterworth-heinemann Ltd, 1994-10-01)
Statecharts are an extension to finite state machines with capability for expressing hierarchical decomposition and parallelism. They also have a mechanism called history, to remember the last visit to a superstate. An ...
A REACHABILITY TREE FOR STATECHARTS AND ANALYSIS OF SOME PROPERTIES
(Butterworth-heinemann Ltd, 2014)
Propriedades decidíveis de autômatos celulares finitos, híbridos, não-lineares, sensíveis e reversíveis
(Universidade Federal de UberlândiaBrasilPrograma de Pós-graduação em Ciência da Computação, 2016)
Avaliação do impacto de falhas no tráfego da rede da Universidade Federal de Juiz de Fora
(Universidade Federal de Juiz de Fora (UFJF)BrasilICE – Instituto de Ciências ExatasPrograma de Pós-graduação em Ciência da ComputaçãoUFJF, 2017)
Uma arquitetura de rede programável para redes orientadas à informação com replicação de conteúdo em nuvens privadas
(Pós-Graduação em Ciência da ComputaçãoUniversidade Federal de Sergipe, 2019)
System Assessment of WUSN Using NB-IoT UAV-Aided Networks in Potato Crops
(IEEEFundación para el futuro de Colombia, Colombia., 2020)
Unmanned Aerial Vehicles (UAV) are part of precision agriculture; also, their impact on fast deployable wireless communication is offering new solutions and systems never envisioned before such as collecting information ...
Soft-computing approaches for rescheduling problems in a manufacturing industry
(Corporación Universidad de la Costa, 2021)