International Journal of Critical Computer-Based Systems (Journal)

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Period2017 → …
Type of journalJournal
ISSN1757-8779
Degree of RecognitionInternational

Keywords

  • Model-driven development
  • Model checking
  • AADL