Trang chủ
Tài liệu nghiên cứu Y học
Search Journal
Search Article
Search by Auth
Category
All Category
Biomedicine
Biochem,Gene&Molecular Biology
Computer Science
Public Health
Medicine & Public Health
Medicine Public Health
Immunology and Microbiology
From
2026
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
To
2026
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
Software and Systems Modeling
Last issue
All issues
All articles
Search
1. A feature-based classification of formal verification techniques for software models
Download PDF
Tác giả
Sebastian Gabmeyer;Petra Kaufmann;Martina Seidl;Martin Gogolla;Gerti Kappel.
Nội dung
Sebastian Gabmeyer;Petra Kaufmann;Martina Seidl;Martin Gogolla;Gerti Kappel.
5. SoSyM reflections: the 2018 “State of the Journal” report
Download PDF
Tác giả
Huseyin Ergin;Jeff Gray;Bernhard Rumpe;Martin Schindler.
Nội dung
Huseyin Ergin;Jeff Gray;Bernhard Rumpe;Martin Schindler.
6. Editorial to theme issue on model-driven engineering of component-based software systems
Download PDF
Tác giả
Federico Ciccozzi;Jan Carlson;Patrizio Pelliccione;Massimo Tivoli.
Nội dung
Federico Ciccozzi;Jan Carlson;Patrizio Pelliccione;Massimo Tivoli.
