Verification of Concurrent Engineering Software Using CSM Models
Mieścicki, Jerzy, Baszun, Mikołaj, Daszczuk, Wiktor B, Czejdo, Bogdan D
Year of Publication 20.04.2017
Year of Publication 20.04.2017
Get full text
Journal Article
Verification of Concurrent Engineering Software Using CSM Models
Mieścicki, Jerzy, Baszun, Mikołaj, Daszczuk, Wiktor B, Czejdo, Bogdan D
Published in arXiv.org (20.04.2017)
Get full text
Published in arXiv.org (20.04.2017)
Paper
Action synchronization over the Web
Czejdo, B.D., Zakrzewicz, M.
Published in Proceedings. 13th International Workshop on Database and Expert Systems Applications (2002)
Published in Proceedings. 13th International Workshop on Database and Expert Systems Applications (2002)
Get full text
Conference Proceeding
Expressing quantification in relational calculus by participation constraints
Czejdo, Bogdan D., Tucci, Ralph P., Embley, David W.
Published in Applied mathematics letters (1993)
Published in Applied mathematics letters (1993)
Get full text
Journal Article