Old Web
English
Sign In
Acemap
>
Paper
>
An Ontology of Specification Patterns for Verification of Concurrent Systems.
An Ontology of Specification Patterns for Verification of Concurrent Systems.
2018
Natalia Olegovna Garanina
Vladimir Zubin
Tatiana Lyakh
Sergei Gorlatch
Keywords:
Systems engineering
Theoretical computer science
Computer science
Ontology
Software engineering
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
7
Citations
NaN
KQI
[]