Search results for: Erika Ábrahám
Information Systems Frontiers > 2019 > 21 > 1 > 87-107
Information Systems Frontiers > 2016 > 18 > 5 > 927-952
Lecture Notes in Computer Science > Adaptive and Natural Computing Algorithms > Neural Networks > 190-199
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Concurrent and Distributed Systems > 37-51
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Regular Papers > 218-232
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 5-20
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Bounded Model Checking > 396-412
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Java and .NET > 155-169
Lecture Notes in Computer Science > NASA Formal Methods > Tool Papers > 512-517