Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)
2018 ◽
Vol 271
◽
Keyword(s):
2014 ◽
Vol 30
(4)
◽
pp. 551-568
◽
2016 ◽
Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report.
2019 ◽
Vol 18
(2)
◽
pp. 1:1
◽
Keyword(s):
1996 ◽
Vol 2
(2)
◽
pp. 146-158
◽
1986 ◽
Vol 77
(1)
◽
pp. 33-50
◽