22nd workshop on Modeling and Verification
Країна: Германія
Місто: Kaiserslautern
Тези до: 25.01.2019
Дати: 08.04.19 — 09.04.19
Область наук: Технічні;
Е-мейл Оргкомітету: zivkovic@cs.uni-kl.de
Організатори: IEEE
The MBMV 2019 workshop is the 22nd workshop on Modeling and Verification. It is organized by the GI/ITG/GMM working groups on 3 and 4 that, in brief, deal with modeling and verification.
The content of the workshop focuses on the following topics in the context of system modeling and verification:
- Formal, semi-formal and other methods for specification and modeling
- Standards and extensions of modeling languages for hardware, hardware/software systems, model-based development
- Behavior modeling, Model modeling, Model refinement
- Models and methods for cross-domain developments: Analog/Digital, Hardware/Software, Mechatronics, Cyber/Physical
- Synthesis and formal synthesis, property refinement from specifications
- Formal verification (equivalence and property proofs)
- Circuits and systems in safety-relevant systems
- Verification of non-functional properties
- Simulation-based verification and validation
- Digitalization of development e.g. through machine learning or data analysis
Веб-сторінка конференції: https://easychair.org/cfp/MBMV2019
Конференції по темі - із близькими дедлайнами:
The 8th International Conference on Information Technology in Education (CITE 2019)Тези приймаються до 23.02.19, Xi'an
JS Fest Професійна конференція, присвячена JavaScript розробціТези приймаються до 23.02.19, Київ
EMPOWER 2019: 1st Workshop on ICT for the Empowerment of Older AdultsТези приймаються до 24.02.19, Coimbra