Notice bibliographique

Notice

Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : International Training School on Domain Modeling and the Duration Calculus (2007 ; Shanghai, China) Voir les notices liées en tant qu'auteur

Titre(s) : Domain Modeling and the Duration Calculus [Texte électronique] : International Training School, Shanghai, China, September 10-21, 2007, Advanced Lectures

Publication : Guildford : Springer London, Limited, Nov. 2007

Description matérielle : 1 ressource dématérialisée

Collection : Lecture notes in computer science. Tutorial
Lecture notes in computer science ; 4710

Note(s) : "Thoroughly revised tutorial papers based on lectures given ... at the International Training School on Domain Modeling and the Duration Calculus, held ... as an associated event of ICTAC 2007, the 4th International Colloquium on Theoretical Aspects of Computing.". - Includes bibliographical references and index
Annotation ; This book presents thoroughly revised tutorial papers based on lectures given by leading researchers at the International Training School on Domain Modeling and the Duration Calculus, held in Shanghai, China, as an associated event of ICTAC 2007. Topics addressed in detail are: development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach

Autre(s) auteur(s) : George, Chris (1947-....). Fonction indéterminée Voir les notices liées en tant qu'auteur
Liu, Zhiming. Fonction indéterminée Voir les notices liées en tant qu'auteur
Woodcock, Jim. Fonction indéterminée Voir les notices liées en tant qu'auteur
Springer-Verlag. Fonction indéterminée Voir les notices liées en tant qu'auteur
ICTAC 2007 (2007 ; Macau, China). Fonction indéterminée Voir les notices liées en tant qu'auteur