dataHAL.science
Support
https://data.archives-ouvertes.fr/author/179690
https://data.archives-ouvertes.fr/author/179690
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/spi.nano
http://xmlns.com/foaf/0.1/topic_interest
Common Criteria
http://xmlns.com/foaf/0.1/topic_interest
Spatial modeling
http://xmlns.com/foaf/0.1/familyName
Bouquet
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-ma
http://xmlns.com/foaf/0.1/topic_interest
Requirements Validation
http://xmlns.com/foaf/0.1/topic_interest
Agent Communication Language
http://xmlns.com/foaf/0.1/mbox_sha1sum
c796a1efb210baaf193b49c86b98647c
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/topic_interest
Informatique développement
http://xmlns.com/foaf/0.1/topic_interest
SysML Models
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-dc
http://xmlns.com/foaf/0.1/topic_interest
Abstract machines
http://xmlns.com/foaf/0.1/topic_interest
Model-Based Testing
http://xmlns.com/foaf/0.1/topic_interest
Modèle
http://xmlns.com/foaf/0.1/topic_interest
Specifications
http://xmlns.com/foaf/0.1/topic_interest
Statistical and econometric models
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-et
http://xmlns.com/foaf/0.1/topic_interest
Properties detection
http://xmlns.com/foaf/0.1/topic_interest
JML
http://xmlns.com/foaf/0.1/topic_interest
Security Testing
http://xmlns.com/foaf/0.1/topic_interest
Weak invariant
http://xmlns.com/foaf/0.1/topic_interest
Automated testing
http://xmlns.com/foaf/0.1/topic_interest
Java Modeling Language
http://xmlns.com/foaf/0.1/topic_interest
Strong preconditions
http://xmlns.com/foaf/0.1/topic_interest
Génie logiciel
http://xmlns.com/foaf/0.1/topic_interest
Validation
http://xmlns.com/foaf/0.1/topic_interest
OMG Standard
http://xmlns.com/foaf/0.1/topic_interest
Constraints
http://xmlns.com/foaf/0.1/topic_interest
Multi-agent systems
http://xmlns.com/foaf/0.1/name
Fabrice Bouquet
http://xmlns.com/foaf/0.1/topic_interest
B method
http://xmlns.com/foaf/0.1/topic_interest
Test generation
http://xmlns.com/foaf/0.1/topic_interest
Black-box testing
http://xmlns.com/foaf/0.1/topic_interest
Test Purpose
http://xmlns.com/foaf/0.1/topic_interest
Safety properties
http://xmlns.com/foaf/0.1/topic_interest
Simulation models
http://xmlns.com/foaf/0.1/topic_interest
Model-based
http://xmlns.com/foaf/0.1/topic_interest
Organization-centered multi-agent systems approach
http://xmlns.com/foaf/0.1/topic_interest
Boundary values
http://xmlns.com/foaf/0.1/topic_interest
Unreachable effects
http://xmlns.com/foaf/0.1/topic_interest
Informatique analyse
http://xmlns.com/foaf/0.1/topic_interest
Automated
http://xmlns.com/foaf/0.1/topic_interest
Code Generation
http://xmlns.com/foaf/0.1/topic_interest
Object-oriented
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-cc
http://xmlns.com/foaf/0.1/topic_interest
Unified Modelling Language UML
http://xmlns.com/foaf/0.1/topic_interest
NetLogo
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/math
http://xmlns.com/foaf/0.1/topic_interest
Smartcard applications
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-cr
http://xmlns.com/foaf/0.1/topic_interest
Belief desire intention
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/shs
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-cl
http://xmlns.com/foaf/0.1/topic_interest
Technical information system
http://xmlns.com/foaf/0.1/topic_interest
Test
http://xmlns.com/foaf/0.1/topic_interest
Développement informatique
http://xmlns.com/foaf/0.1/topic_interest
Gravity models
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://xmlns.com/foaf/0.1/Person
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-se
http://xmlns.com/foaf/0.1/topic_interest
Modelica Simulation
http://xmlns.com/foaf/0.1/topic_interest
Simulation
http://xmlns.com/foaf/0.1/topic_interest
Security Policy
http://xmlns.com/foaf/0.1/topic_interest
SysML
http://xmlns.com/foaf/0.1/topic_interest
JavaCard
http://xmlns.com/foaf/0.1/topic_interest
Model Transformation
http://xmlns.com/foaf/0.1/topic_interest
Manufacturing Execution System MES
http://xmlns.com/foaf/0.1/topic_interest
Agent-based modelling
http://xmlns.com/foaf/0.1/topic_interest
Test Basé sur les Modèles MBT
http://xmlns.com/foaf/0.1/topic_interest
Model Based Testing
http://xmlns.com/foaf/0.1/topic_interest
Abstraction
http://xmlns.com/foaf/0.1/topic_interest
Microfactory
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest
Symbolic animation
http://xmlns.com/foaf/0.1/firstName
Fabrice
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-iu
http://www.openarchives.org/ore/terms/isAggregatedBy
https://data.archives-ouvertes.fr/author/fabrice-bouquet
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-mo
http://xmlns.com/foaf/0.1/topic_interest
Ingénierie Dirigée par les Modèles IDM
https://aurehal.archives-ouvertes.fr/author/179690
Télécharger au format
RDF/XML
Turtle
N3
Json