Weiter zum Inhalt Weiter zur Fußzeile

Innovations in Systems and Software Engineering

ISSNs: 1614-5054, 1614-5046

Springer London

Scopus-Bewertung (2022): CiteScore 3 SJR 0,292 SNIP 0,693

Fachzeitschrift: Zeitschrift

Titel
  • Innovations in Systems and Software Engineering
ISSNs1614-5054, 1614-5046
Weitere durchsuchbare ISSN1614-5046
VerlagSpringer London
ZDB-ID2195084-2

Schlagworte

ASJC-Scopus Sachgebiete

Verknüpfte Inhalte

Distributed Petri nets for model-driven verifiable robotic applications in ROS

Ebert, S., Mey, J., Schöne, R., Götz, S. & Aßmann, U., Dez. 2024, in: Innovations in Systems and Software Engineering. 20, 4, S. 531-557 27 S.

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

Correction to: Distributed Petri nets for model-driven verifiable robotic applications in ROS (Innovations in Systems and Software Engineering, (2024), 10.1007/s11334-024-00570-5)

Ebert, S., Mey, J., Schöne, R., Götz, S. & Aßmann, U., 2024, (Angenommen/Im Druck) Innovations in Systems and Software Engineering.

Publikation: Spezielle Publikationen/BeiträgeKorrekturen (Errata und Widerrufe)Begutachtung

Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata (Innovations in Systems and Software Engineering, (2022), 18, 3, (385-403), 10.1007/s11334-022-00445-7)

John, T., Jantsch, S., Baier, C. & Klüppelholz, S., Juni 2023, Innovations in Systems and Software Engineering, 19, 2, S. 227-229 3 S.

Publikation: Spezielle Publikationen/BeiträgeKorrekturen (Errata und Widerrufe)Begutachtung

Probabilistic causes in Markov Chains

Ziemek, R., Piribauer, J., Funke, F., Jantsch, S. & Baier, C., 25 Apr. 2022, in: Innovations in Systems and Software Engineering. 18, 3, S. 347-367 21 S.

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata

John, T., Jantsch, S., Baier, C. & Klüppelholz, S., 9 Apr. 2022, in: Innovations in Systems and Software Engineering. 18, 3, S. 385–403 19 S.

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung