Browse by Journal

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors/Editors | Item Type | No Grouping
Jump to: H | K
Number of items: 2.

H

Helke, Steffen and Kammueller, Florian ORCID logoORCID: https://orcid.org/0000-0001-5839-5488 (2016) Verification of statecharts using data abstraction. International Journal of Advanced Computer Science and Applications, 7 (1) . pp. 571-583. ISSN 2158-107X [Article] (doi:10.14569/IJACSA.2016.070179)

K

Kammueller, Florian ORCID logoORCID: https://orcid.org/0000-0001-5839-5488 (2015) Confinement for active objects. International Journal of Advanced Computer Science and Applications, 6 (2) . pp. 246-261. ISSN 2158-107X [Article] (doi:10.14569/IJACSA.2015.060236)

This list was generated on Wed May 31 05:06:50 2023 BST.