Michal Nowacki

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 1

Top Topics

Formal Verification

Sequence Diagrams

Top Venues

Publications

Wiktor B. Daszczuk, Jerzy Miescicki, Michal Nowacki, Jacek Wytrebowicz
System level specification and verification using Concurrent State Machines and COSMA environment. CoRR (2017)
Waldemar Grabski, Michal Nowacki
Code Generation for CSM/ECSM Models in COSMA Environment. Comput. Sci. 8 (2007)