DSpace at KOASAS
Browsing DSpace

Browse "GCT-Journal Papers(저널논문)" by Subject Program verification

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 1 of 1

1
Towards ontology-based formal verification methods for context aware systems

Schmidtke, Hedda R.; Woo, Woontack, LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS), v.5538, pp.309 - 326, 2009-05

Discover

rss_1.0 rss_2.0 atom_1.0