dataHAL.science
Support
https://data.archives-ouvertes.fr/author/843850
https://data.archives-ouvertes.fr/author/843850
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-cl
http://xmlns.com/foaf/0.1/topic_interest
Architecture Description Language
http://xmlns.com/foaf/0.1/topic_interest
EVENT-B
http://xmlns.com/foaf/0.1/topic_interest
UML
http://xmlns.com/foaf/0.1/topic_interest
Architecture logicielle
http://xmlns.com/foaf/0.1/familyName
Graiet
http://xmlns.com/foaf/0.1/topic_interest
Software architecture
http://xmlns.com/foaf/0.1/topic_interest
Accepted Termination States
http://xmlns.com/foaf/0.1/mbox_sha1sum
9a7a477efe4304c7c6e25ed301ed5a3f
http://xmlns.com/foaf/0.1/topic_interest
Vérification formelle
http://xmlns.com/foaf/0.1/topic_interest
Transaction reliability
http://xmlns.com/foaf/0.1/name
Mohamed Graiet
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://xmlns.com/foaf/0.1/Person
http://xmlns.com/foaf/0.1/topic_interest
Composite web service configuration
http://xmlns.com/foaf/0.1/firstName
Mohamed
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-se
http://xmlns.com/foaf/0.1/topic_interest
Formal verification
http://xmlns.com/foaf/0.1/topic_interest
Wright
http://xmlns.com/foaf/0.1/topic_interest
Langage de Description d'Architectures
https://aurehal.archives-ouvertes.fr/author/843850
Télécharger au format
RDF/XML
Turtle
N3
Json