Choppy, Christine, 19..-...., professeur en informatique
Choppy, C. (Christine)
Choppy, C.
Choppy, Christine.
Christine Choppy French computer scientist
VIAF ID: 41042339 ( Personal )
Permalink: http://viaf.org/viaf/41042339
Preferred Forms
-
- 100 1 _ ‡a Choppy, C.
-
- 100 1 0 ‡a Choppy, C. ‡q (Christine)
-
- 100 1 _ ‡a Choppy, Christine, ‡d 19..-...., ‡c professeur en informatique
-
- 100 0 _ ‡a Christine Choppy ‡c French computer scientist
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
Abstract implementations and correctness proofs | |
Abstracts data types with exception handling : an initial approach based on a distinction between exceptions and errors | |
Algebraic semantics of FP languages a LISP interpreter and its proff | |
Analyse algorithmique des réseaux de Petri : vérification d'espace d'accueil, systèmes de réécriture | |
Approaches to modeling and verification of timed systems using UML state machines and coloured Petri nets. | |
Approches rigoureuses et formelles pour la modélisation et la spécification des systèmes orientés service. | |
Asspegique : an exeptional environment...an operational semantics for E,R-algebras, a formalism taking into account exeption handling : an integrated algebraic specification environment : ASSPEGIQUE. | |
Complexity analysis of term rewriting systems | |
Complexity calculus for abstract data types | |
Détection d'activités par un système de reconnaissance de chroniques et application au cas des simulations distribuées HLA | |
Foundations of computer software : future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers | |
Initial models of algebraic specifications with exception handling | |
KORRIGAN : UN FORMALISME ET UNE METHODE POUR LA SPECIFICATION FORMELLE ET STRUCTUREE DE SYSTEMES MIXTES | |
Méthodologie de conception des modèles exprimés en réseaux Petri : Raffinement des réseaux de Petri colorés | |
Modélisation et analyse de la sécurité dans un système de stockage pair-à-pair | |
Online event flow processing for complex behaviour recognition. | |
Orchestration et vérification de fonctions de sécurité pour des environnements intelligents | |
PETRIREVE : proving Petri net properties with rewriting systems | |
Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers | |
Recent trends in data type specification : 8th Workshop on Specification of Abstract Data Types, joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991 : selected papers | |
Reconnaissance de comportements complexes par traitement en ligne de flux d'évènements | |
REVERSE ENGINEERING FORTRAN PROGRAMS USING ALGEBRAIC SPECIFICATIONS. | |
Rigorous and formal approaches for modelling and designing service systems | |
Topos, a model for computer science. | |
Topos, un modèle pour l'informatique |