Old Web
English
Sign In
Acemap
>
Paper
>
Verifying Business Rules Using Model-Checking Techniques for Non-specialist in Model-Checking
Verifying Business Rules Using Model-Checking Techniques for Non-specialist in Model-Checking
2014
Yoshitaka Aoki
Saeko Matsuura
Keywords:
Computer science
Artificial intelligence
Theoretical computer science
Pattern recognition
Programming language
Business rule
Model checking
Eclipse
Correction
Source
Cite
Save
Machine Reading By IdeaReader
13
References
1
Citations
NaN
KQI
[]