Nothing Special »
Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Accept Cookies
Show Images
Show Referer
Rotate13
Base64
Strip Meta
Strip Title
Session Cookies
An AITO publication
ISSN 1660-1769
DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Newsletter
Articles matching “Lapitre”
Erwan Mahe
,
Boutheina Bannour
,
Christophe Gaston
,
Arnault Lapitre
,
Pascale Le Gall
,
Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation
, pp. 2:1-16,
PDF
,
DOI
.
Volume 23, no. 2 (March 2024)
The JOT Journal | ISSN 1660-1769 | DOI 10.5381/jot |
AITO
|
Open Access
|
Contact