Sujet Précédent Sujet Suivant

Programmer des formules logique temporelle LTL avec java

cs_papillon2000 Messages postés 94 Date d'inscription dimanche 30 avril 2006 Statut Membre Dernière intervention 21 juin 2010 - 20 janv. 2009 à 13:49
cs_papillon2000 Messages postés 94 Date d'inscription dimanche 30 avril 2006 Statut Membre Dernière intervention 21 juin 2010 - 5 mars 2009 à 17:08
bonjour, je veux programmer une formule logique LTL avec java et tester sa validation (tester à un instant donné si elle est violée ou pas).
merci à tous.

1 réponse

Réponse 1 / 1
cs_papillon2000 Messages postés 94 Date d'inscription dimanche 30 avril 2006 Statut Membre Dernière intervention 21 juin 2010
5 mars 2009 à 17:08
alors ,je veux verifier une formule LTL. je ne sais pas comment faire.est ce que c'est pathematiquement ou on comparant les points d'extrimités des taches.
0

Discussions similaires

trier un iterator
lafolle24320 -
Twinuts -

9 réponses
la division en java
cs_aliomar -
KIRAIII -

3 réponses
la difference entre a++ et ++a
waluigii -
Twinuts -

2 réponses
Le Mapping en Java: Map(Key,Value)
cs_developppez -
icecube005 -

2 réponses
Problème de division réelle (et oui...)
playmo420 -
nomad56 -

4 réponses
Rejoignez-nous