Skip to main content
Menu
Filter Results
Search all journals
Enter search terms…
Advanced search
Search
Access/Profile
CHN
/
ENG
Browse
Information for
Search results
Search results page
Save Search
Articles (2)
Journals (0)
Save Search
1-2 of 2
results for
Quantitative Constraint Automata
Filters
Filters
Edit Search
Sort by:
Relevance
Select all
Export selected citations
Select all
Export selected citations
Edit Search
Sort by:
Relevance
Select article: QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata
Restricted access
Research article
First published August, 2009
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata
Sun Meng,
Farhad Arbab
Fundamenta Informaticae
Preview Abstract
Get Access
Select article: Runtime verification of self-adaptive multi-agent system using probabilistic timed automata
Restricted access
Research article
First published December 2, 2023
Runtime verification of self-adaptive multi-agent system using probabilistic timed automata
Yongan Mu,
Wei Liu,
Tao Lu
[...]
View All
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Preview Abstract
Get Access
1
10 / page