( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm.

, , , и . Sensors, 23 (13): 6216 (июля 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Igor Barabash

Das Bildzitat im Internet. Uni München, (2009)

Igor Barsukov

Igor Pilawski

Igor Yakushev

Igor Pribicevic

 

Другие публикации лиц с тем же именем

Typical examples of using the atoment language.. Automatic Control and Computer Sciences, 46 (7): 299-307 (2012)Verification-Oriented Process Ontology., , и . Automatic Control and Computer Sciences, 53 (7): 584-594 (2019)Towards verification of C# programs: A three-level approach., , , и . Program. Comput. Softw., 32 (4): 190-202 (2006)Combining Two Formalism for Reasoning about Concepts., , и . Description Logics, том 250 из CEUR Workshop Proceedings, CEUR-WS.org, (2007)Deductive verification of telecommunication systems written in C.. Automatic Control and Computer Sciences, 47 (7): 413-419 (2013)C-programs verification based on mixed axiomatic semantics., , и . Automatic Control and Computer Sciences, 45 (7): 485-500 (2011)Verification-Oriented Language C-Light and Its Structural Operational Semantics., , и . Ershov Memorial Conference, том 2890 из Lecture Notes in Computer Science, стр. 103-111. Springer, (2003)Conflict resolution in multi-agent systems with typed relations for ontology population., , и . Program. Comput. Softw., 42 (4): 206-215 (2016)Dedicative Verification of Reflex Programs., , , , , и . Program. Comput. Softw., 46 (4): 261-272 (2020)Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm., , , и . Sensors, 23 (13): 6216 (июля 2023)