Showing
1 - 1
results of
1
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Sin, Chun-Ok
Search Results - Sin, Chun-Ok
Showing
1 - 1
results of
1
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
TimeLine Depiction: an approach to graphical notation for supporting temporal property specification
by
Sin, Chun-Ok
,
Kim, Yong-Sok
Published in
Innovations in systems and software engineering
Get full text
Items that this one cites
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
1 results
1
Full Text
1 results
1
Format
Articles
1 results
1
Journal Title
Innovations In Systems And Software Engineering
1 results
1
Subjects
Artificial Intelligence
1 results
1
Buchi Automata
1 results
1
Computer Applications
1 results
1
Computer Science
1 results
1
Computer Science, Software Engineering
1 results
1
Machine Translation
1 results
1
Model Checking
1 results
1
Original Article
1 results
1
Property Specification
1 results
1
Science & Technology
1 results
1
Software Engineering
1 results
1
Specification And Description Languages
1 results
1
Specifications
1 results
1
Technology
1 results
1
Temporal Logic
1 results
1
Temporal Property
1 results
1
Verification
1 results
1
Visual Language
1 results
1
Year of Publication
From:
To:
Source
Springer Link
1 results
1
Springer Nature - Connect Here First To Enable Access
1 results
1