Author of the publication

Specification and Testing of E-Commerce Agents Described by Using UIOLTSs.

, , and . FMOODS/FORTE, volume 6117 of Lecture Notes in Computer Science, page 78-86. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Evaluation of cloud platforms for managing IoT devices., , and . IISA, page 1-6. IEEE, (2017)sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions., , , and . Fundam. Informaticae, 87 (3-4): 367-406 (2008)Formal Study of Routing Protocols for Wireless Sensor Networks., , , and . J. Univers. Comput. Sci., 20 (9): 1373-1401 (2014)From Sensor Networks to Internet of Things. Bluetooth Low Energy, a Standard for This Evolution., , , , and . Sensors, 17 (2): 372 (2017)Opacity-enforcing for Process Algebras., and . CS&P, volume 2240 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)Providing interoperability in Bluetooth mesh with an improved provisioning protocol., , and . Wirel. Networks, 27 (2): 1011-1033 (2021)A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems., , and . ICCCI (SCI Volume), volume 244 of Studies in Computational Intelligence, page 193-204. Springer, (2009)Poster Abstract: Architecture Proposal for Heterogeneous, BLE-Based Sensor and Actuator Networks for Easy Management of Smart Homes., , , and . IPSN, page 59:1-59:2. IEEE, (2016)Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra., , , and . CIMCA/IAWTIC, page 46. IEEE Computer Society, (2006)Security of Low Level IoT Protocols., and . ICCS (3), volume 11538 of Lecture Notes in Computer Science, page 621-633. Springer, (2019)