( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Description of Alvis Language with α0 System Layer.

, , , и . Fundam. Informaticae, 129 (1-2): 161-176 (2014)

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.

Marcin Wlodarski

Marcin Grzegorzek

Marcin Tysiac

Marcin Siatkowski

Marcin Wlodarczak

 

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

Prototypes of a Web System for Citizen Provided Information, Automatic Knowledge Extraction, Knowledge Management and GIS Integration., , , , , , , и . MCSS, том 149 из Communications in Computer and Information Science, стр. 268-276. Springer, (2011)Generation of Labelled Transition Systems for Alvis Models using Haskell Model Representation., , и . CS&P, том 1032 из CEUR Workshop Proceedings, стр. 409-420. CEUR-WS.org, (2013)Simulation of Multi-agent Systems with Alvis Toolkit., , , и . ICAISC (2), том 10246 из Lecture Notes in Computer Science, стр. 599-608. Springer, (2017)Formal Approach to Prototyping and Analysis of Modular Rule-Based Systems., и . Software Engineering: Evolution and Emerging Technologies, том 130 из Frontiers in Artificial Intelligence and Applications, IOS Press, (2005)Verification of Automatic Train Protection Systems with RTCP-Nets., и . SAFECOMP, том 4166 из Lecture Notes in Computer Science, стр. 344-357. Springer, (2006)Reduction of Tabular Systems., и . ICAISC, том 3070 из Lecture Notes in Computer Science, стр. 903-908. Springer, (2004)Network Anomaly Detection Using Parameterized Entropy., , , и . CISIM, том 8838 из Lecture Notes in Computer Science, стр. 465-478. Springer, (2014)Formal Modelling and Verification of Concurrent Systems with XCCS., и . ISPDC, стр. 454-458. IEEE Computer Society, (2008)Priority management in Alvis language., , , и . MIXDES, стр. 464-468. IEEE, (2016)Snapshot Reachability Graphs for Alvis Models., и . KES (1), том 6881 из Lecture Notes in Computer Science, стр. 190-199. Springer, (2011)