An AITO publication
ISSN 1660-1769
DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Newsletter
Bibtex
Erwan Mahe
,
Boutheina Bannour
,
Christophe Gaston
,
Arnault Lapitre
,
Pascale Le Gall
, Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation
@article{JOT:issue_2024_02/article2, author = {
Erwan Mahe
and
Boutheina Bannour
and
Christophe Gaston
and
Arnault Lapitre
and
Pascale Le Gall
}, title = {Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation}, journal = {Journal of Object Technology}, volume = {23}, number = {2}, issn = {1660-1769}, year = {2024}, month = mar, editor = {}, note = {5th Workshop on Verification and Monitoring at Runtime Execution (VORTEX 2022) }, pages = {2:1-16}, doi = {10.5381/jot.2024.23.2.a2}, url = {http://www.jot.fm/contents/issue_2024_02/article2.html} }
Back
The JOT Journal | ISSN 1660-1769 | DOI 10.5381/jot |
AITO
|
Open Access
|
Contact