Innovations in Systems and Software Engineering
SCOPUS (2005-2025)ESCI-ISI
1614-5054
1614-5046
Cơ quản chủ quản: SPRINGER LONDON LTD , Springer London
Lĩnh vực:
Software
Phân tích ảnh hưởng
Các bài báo tiêu biểu
AALpy: an active automata learning library
- 2022
AbstractAALpy is an extensible open-source Python library providing efficient
implementations of active automata learning algorithms for deterministic,
non-deterministic, and stochastic systems. We put a special focus on the
conformance testing aspect in active automata learning, as well as on an
intuitive and seamlessly integrated interface for learning automata
characterizing real-world reactive...
Software health management: a necessity for safety critical systems
Tập 9 Số 4 - Trang 219-233 - 2013