Search results: Sage Journals

Available accessResearch articleFirst published December, 2006

Analysis of RTCP-nets with Reachability Graphs

Marcin Szpyrka

Fundamenta Informaticae

Available accessResearch articleFirst published August 19, 2016

Balagopal Komarath, Jayalal Sarma, K.S. Sunil

Fundamenta Informaticae

Available accessResearch articleFirst published 2020

Stephen Skeirik, Andrei Stefanescu, José Meseguer

Fundamenta Informaticae

Available accessResearch articleFirst published March 4, 2016

Christoph Haase, Joël Ouaknine, James Worrell

Fundamenta Informaticae

Open accessResearch articleFirst published May 4, 2023

Zhanyou Ma, Yingnan Gao, Zhaokai Li [...]

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

Available accessResearch articleFirst published 2016

Michael Köhler-Bußmeier, Frank Heitmann

Fundamenta Informaticae

Available accessResearch articleFirst published October, 2012

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Fundamenta Informaticae

Available accessResearch articleFirst published May, 2003

Louchka Popova-Zeugmann, Matthias Werner, Jan Richling

Fundamenta Informaticae

Open accessResearch articleFirst published March, 2016

Wenzhen Yang, Zhongzheng Jin, XingLi Wu [...]

International Journal of Advanced Robotic Systems

Retricted accessResearch articleFirst published June, 2018

Chai Hua, Wang Lei

Proceedings of the Institution of Mechanical Engineers,Part G: Journal of Aerospace Engineering