中国教育图书进出口有限公司

Innovations in Systems and Software Engineering

I S S N：1614-5046

出版社：Springer Nature

2023 年

第 19 卷 3 期

第 19 卷 2 期

第 19 卷 1 期

2022 年

第 18 卷 4 期

第 18 卷 3 期

第 18 卷 2 期

第 18 卷 1 期

2021 年

第 17 卷 4 期

第 17 卷 3 期

第 17 卷 2 期

第 17 卷 1 期

2020 年

第 16 卷 3-4 期

第 16 卷 2 期

第 16 卷 1 期

2019 年

第 15 卷 3-4 期

第 15 卷 2 期

第 15 卷 1 期

2018 年

第 14 卷 4 期

第 14 卷 3 期

第 14 卷 2 期

第 14 卷 1 期

2017 年

第 13 卷 4 期

第 13 卷 2-3 期

第 13 卷 1 期

2016 年

第 12 卷 4 期

第 12 卷 3 期

第 12 卷 2 期

第 12 卷 1 期

2015 年

第 11 卷 4 期

第 11 卷 3 期

第 11 卷 2 期

第 11 卷 1 期

2014 年

第 10 卷 4 期

第 10 卷 3 期

第 10 卷 2 期

第 10 卷 1 期

2013 年

第 9 卷 4 期

第 9 卷 3 期

第 9 卷 2 期

第 9 卷 1 期

2012 年

第 8 卷 4 期

第 8 卷 3 期

第 8 卷 2 期

第 8 卷 1 期

2011 年

第 7 卷 4 期

第 7 卷 3 期

第 7 卷 2 期

第 7 卷 1 期

2010 年

第 6 卷 4 期

第 6 卷 3 期

第 6 卷 1-2 期

2009 年

第 5 卷 4 期

第 5 卷 3 期

第 5 卷 2 期

第 5 卷 1 期

2008 年

第 4 卷 4 期

第 4 卷 3 期

第 4 卷 2 期

第 4 卷 1 期

2007 年

第 3 卷 4 期

第 3 卷 3 期

第 3 卷 2 期

第 3 卷 1 期

2006 年

第 2 卷 3-4 期

第 2 卷 2 期

第 2 卷 1 期

2005 年

第 1 卷 2 期

第 1 卷 1 期

[期刊论文]

Contract-based specification of mode-dependent timing behavior

DO I：10.1007/s11334-023-00531-4

作者：Janis Kröger;Björn Koopmann;Ingo Stierand;等

页码： -

全文购买

[期刊论文]

Automatic use case classification based on topic grouping for requirements engineering

DO I：10.1007/s11334-023-00535-0

作者：Shahrokh Vahabi;Amir Hozhabri;

页码： -

全文购买

[期刊论文]

A certified access control policy language: TEpla

DO I：10.1007/s11334-023-00534-1

作者：Amir Eaman;Amy Felty;

页码： -

全文购买

[期刊论文]

[Review Article]

An improved authentication and key management scheme for hierarchical IoT network using elliptic curve cryptography

DO I：10.1007/s11334-023-00532-3

作者：Uddalak Chatterjee;Sangram Ray;Dipanwita Sadhukhan;等

页码：231 - 246

全文购买

[期刊论文]

AndyWar: an intelligent android malware detection using machine learning

DO I：10.1007/s11334-023-00530-5

作者：Sandipan Roy;Samit Bhanja;Abhishek Das;

页码： -

全文购买

[期刊论文]

An evaluation on changes in hippocampus size for cognitively normal, mild cognitive impairment, and Alzheimer’s disease patients using fuzzy membership function

DO I：10.1007/s11334-023-00529-y

作者：Ruhul Amin Hazarika;Arnab Kumar Maji;Debdatta Kandar;等

页码： -

全文购买

[期刊论文]

Coverage visualization and analysis of net inscriptions in coloured Petri net models

DO I：10.1007/s11334-023-00528-z

作者：Faustin Ahishakiye;José Ignacio Requeno Jarabo;Lars Michael Kristensen;等

页码： -

全文购买

[期刊论文]

Model-based design of resilient systems using quantitative risk assessment

DO I：10.1007/s11334-023-00527-0

作者：Braham Lotfi Mediouni;Iulia Dragomir;Ayoub Nouri;等

页码： -

全文购买

[期刊论文]

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

DO I：10.1007/s11334-022-00459-1

作者：Tobias John;Simon Jantsch;Christel Baier;等

页码： -

全文购买

[期刊论文]

Automatic pattern-based consistency checking in model refactoring: introducing a formal behavioral preserving method

DO I：10.1007/s11334-022-00525-8

作者：Saeedeh Ghaedi Heidari;Shohreh Ajoudanian;

页码： -

全文购买