Ayoub Nouri
Send a private message to this author
Send a message
Your email address (Required)
Subject (Required)
Text of your message: (Required)
Please leave this field empty:
Articles by this author
BIP-SMC : A Statistical Model Checking Engine for the BIP framework
Sunday 31 December 2017
MeTRiD 2018
Sunday 15 April 2018
RV 2018
Tuesday 13 November 2018
VECoS 2018
Friday 28 September 2018
All authors
Ananda Basu
Andreas
Ayoub Nouri
Benoit Boyer
bouhadiba
boulme
Bouyssounouse
bozga
Bruno Ferres
Catherine Parent-Vigouroux
Claire Maiza
cristian.ene@univ-grenoble-alpes.fr
dang
Devismes
devismes
Florence Maraninchi
Florent Garnier
frehse
gerbaud
graf
halbwachs
invite
Jacques Combaz
jahier
jarabo
Jobstmann
karine
lafourcade
Lebeltel
Lionel Rieg
maler
Mayur Maheshwari
monin
monniaux
mounier
moy
Nicolas Basset
perin
Petro Poplavko
Pierre Corbineau
potet
poulhies
Radu Iosif
raymond
stef
Victor Magron
Browsing
Sections
Verimag
Members
Publications
Tools
Ongoing Phd Thesis
Jobs and Internships
Projects
Partners
Workshops and Conferences
Seminars
Documents
Topics
PACS
MOHYTOS
Shared Resources
ETiCS
FETLAS
Formal Proofs
Contact
Whom to contact
How to reach us
Site Map
Building Access
Contact
|
Site Map
|
Site powered by SPIP 4.2.16
+
AHUNTSIC
[CC License]
info visites
4140078
English
Français