.:. Lists > All collaborations with the ENS Cachan > VERIMAG .:.

3 documents ordered by : Date Title first author name document type Submit date

Statistical abstraction and model-checking of Large Heterogeneous Systems Basu A., Bensalem S., Bozga M., Delahaye B., Legay A. International Journal on Software Tools for Technology Transfer 14, 1 (2012) 53-72 [hal-00722489 - version 1]

Approche fondée sur les modèles pour java temps-réel Nakhli C. École normale supérieure de Cachan - ENS Cachan (02/09/2005), Antoine Petit (Dir.) [tel-00133652 - version 1]

Introduction au contrôle des systèmes temps-réel Altisen K., Bouyer P., Cachat T., Cassez F., Gardey G. Actes du 5ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'05), France (2005) [hal-00019877 - version 1]