Search results: Sage Journals

Open accessResearch articleFirst published April, 2017

Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO

Shengxin Dai, Mei Hong, Bing Guo

International Journal of Distributed Sensor Networks

Restricted accessResearch articleFirst published November, 2021

Alexander Bilgram, Emil Ernstsen, Peter Greve [...]

Transportation Research Record: Journal of the Transportation Research Board

Restricted accessResearch articleFirst published October, 2025

Ariel González, Maximiliano Cristiá, Carlos Luna

SIMULATION

Open accessResearch articleFirst published August, 2021

Frederik van Delft, Mirte Muller, Rom Langerak [...]

Medical Decision Making

Open accessResearch articleFirst published May, 2016

Xi Wang, Lianchuan Ma, Tao Tang

Advances in Mechanical Engineering

Restricted accessResearch articleFirst published May 14, 2019

K.S. Umadevi, P. Balakrishnan, G. Kousalya

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Restricted accessResearch articleFirst published February, 2020

Christian Nigro, Libero Nigro, Paolo F Sciammarella

SIMULATION

Open accessResearch articleFirst published May, 2020

Guang Chen, Tonghai Jiang, Meng Wang [...]

International Journal of Distributed Sensor Networks

Restricted accessResearch articleFirst published May, 2008

Wojciech Nabiałek, Agata Janowska, Paweł Janowski

Fundamenta Informaticae

Restricted accessResearch articleFirst published September 29, 2007

R. Corin, S. Etalle, P.H. Hartel [...]

Journal of Computer Security