Wiktor Bohdan Daszczuk

3PUBLICATIONS
0CO-AUTHORS
Formal methods for softwareInformation modelling, management and ontologiesAutonomous agents and multiagent systems
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (3)

|Feb 25, 2023
Entropy as a Measure of Consistency in Software Architecture.

Stanislaw Jerzy Niepostyn, Wiktor Bohdan Daszczuk

|Feb 15, 2022
Modeling and Verification of Asynchronous Systems Using Timed Integrated Model of Distributed Systems.

Wiktor B Daszczuk

|Jul 20, 2021
Static and Dynamic Verification of Space Systems Using Asynchronous Observer Agents.

Wiktor B Daszczuk

Pageof 1

Frequent Collaborators